]> git.tuebingen.mpg.de Git - micoforia.git/history - version-gen.sh
Improve the default command for entering a container.
[micoforia.git] / version-gen.sh
2019-12-13 Andre NollInitial commit.