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