]> git.zerfleddert.de Git - micropolis/blob - src/tk/makefile.sgi
projects / micropolis / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
correctly resize editor window to be in sync with the mini map
[micropolis] / src / tk / makefile.sgi
src/tk/makefile.sgi
Micropolis
Impressum, Datenschutz