]> git.tuebingen.mpg.de Git - micoforia.git/history - .gitignore
projects / micoforia.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve the default command for entering a container.
[micoforia.git] / .gitignore
2019-12-13 Andre NollInitial commit. commit | commitdiff
micoforia - Minimal Containers for Instant Availability