]> git.tuebingen.mpg.de Git - micoforia.git/blob - README
enter: Save and restore the terminal settings.
[micoforia.git] / README
1 Run "make README".