]> git.tuebingen.mpg.de Git - micoforia.git/history - .gitignore
Also pre-create /dev/tty.
[micoforia.git] / .gitignore
2019-12-13 Andre NollInitial commit.