]> git.tuebingen.mpg.de Git - micoforia.git/history - Makefile
shutdown_console(): Make umount commands work.
[micoforia.git] / Makefile
2019-12-13 Andre NollInitial commit.