| Reporter: | Erik Schnetter |
| Status: | resolved |
| Milestone: | |
| Version: | |
| Type: | enhancement |
| Priority: | minor |
| Component: | Cactus |
Changes (by Roland Haas):
| status: | resolved (was open) |
--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/1001/distinguish-between-local-and-global