]> git.zerfleddert.de Git - micropolis/commitdiff
resize editor when resizing window
authorMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 12:13:00 +0000 (13:13 +0100)
committerMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 12:13:00 +0000 (13:13 +0100)

No differences found
Impressum, Datenschutz