| Reporter: | Miguel Zilhão |
| Status: | open |
| Milestone: | ET_2018_08 |
| Version: | development version |
| Type: | enhancement |
| Priority: | minor |
| Component: | EinsteinToolkit thorn |
Comment (by Miguel Zilhão):
thanks! i've just merged.
--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2101/add-lean_public-and-proca-thorns-to-the-et