web: Adjust Git URLs in verein/
The Verein's repo was renamed sowe need to chnagebthe URLs.
Description
Description
Details
Details
- Provenance
• werner Authored on Mar 27 2017, 7:16 PM - Parents
- rD511b98531376: jenkins: make sure the linker uses gpgme from build dir (take two)
- Branches
- Unknown
- Tags