Closed florian-asche closed 8 years ago
with the latest version from git the $USER1$ is now USER1. The '$' are missing.
with the latest version from git the $USER1$ is now USER1. The '$' are missing.