]> git.zerfleddert.de Git - micropolis/blob - src/tk/makefile.sgi
remove outdated and unused .dif-files
[micropolis] / src / tk / makefile.sgi
src/tk/makefile.sgi
Impressum, Datenschutz