]> git.zerfleddert.de Git - micropolis/commit
Add "Pause" to Priority menu
authorMichael Gernoth <michael@gernoth.net>
Sat, 26 Jan 2008 13:13:36 +0000 (14:13 +0100)
committerMichael Gernoth <michael@gernoth.net>
Sat, 26 Jan 2008 13:13:36 +0000 (14:13 +0100)
commite555720e8e5157017ff6ae6e68a550a84b9a22db
treea10721910891197aed3e14d9c550bf35fcba8009
parent2d56c40cb9008f8a235bf1dfec4bc2ca98ee7406
Add "Pause" to Priority menu
res/micropolis.tcl
res/whead.tcl
Impressum, Datenschutz