allow customizing initial and minimal size in pykit.ini
authorStefan Bund <stefan@j32.de>
Wed, 22 Dec 2010 14:10:34 +0000 (15:10 +0100)
committerStefan Bund <stefan@j32.de>
Wed, 22 Dec 2010 14:10:34 +0000 (15:10 +0100)
commit70bf8599015c1554a65dfb003b5c5189857dd320
tree06648cbea5098ccdbcb38d6ff52738bafe4e5d0c
parent8e2a34b0c66a94481aa3331f15d08697cdbe093b
allow customizing initial and minimal size in pykit.ini
main.cc