chiark / gitweb /
Converted deprecated widgets option-menu and combo to combo-box and combo-box-entry
authorespen <espen>
Mon, 8 Nov 2004 14:16:12 +0000 (14:16 +0000)
committerespen <espen>
Mon, 8 Nov 2004 14:16:12 +0000 (14:16 +0000)

No differences found