-
Henrik Ingo authored
Intentionally omitting git checkout <tag> alternative for simplicity. Those that now how git works, will know it anyway.
ba1fe7f6
Intentionally omitting git checkout <tag> alternative for simplicity. Those that now how git works, will know it anyway.