chiark / gitweb /
Replaced deprecated widgets combo and option-menu with combo-box and combo-box-entry
authorespen <espen>
Sun, 7 Nov 2004 17:55:29 +0000 (17:55 +0000)
committerespen <espen>
Sun, 7 Nov 2004 17:55:29 +0000 (17:55 +0000)

No differences found