]> git.zerfleddert.de Git - micropolis/history - Makefile
projects / micropolis / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
search sounds and player in $ResourceDir
[micropolis] / Makefile
2008-02-03 Michael Gernothtarget "all" should be phony blob | commitdiff | raw
2008-02-03 Michael Gernothadd simple Makefile in top directory blob | commitdiff | raw | diff to current
Micropolis
Impressum, Datenschutz