]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2aeffb) | patch
- removed useless status bar
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:48:27 +0000 (09:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:48:27 +0000 (09:48 +0000)
commit891981a2d15f658d451517abbad72f6aebe7362e
tree6e0a82db77d0412de8f0d2f56b18d124f148c69etree | snapshot
parentb2aeffb2e0f4ef80768641977d382cb116ed6087commit | diff
- removed useless status bar
- hid menu bar
- added (Re)Register button
- added vertical pane between subscription and hints
- changed default size to a "decent"-one
helm/hbugs/client/hbugs_gui.glade diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.