]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9887ac) | patch
According to the Gnome Interface Guidelines the Help menu must be aliged
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:18:10 +0000 (16:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:18:10 +0000 (16:18 +0000)
commit158ae2efea344421adeaf861905fe6ffa64b9f8c
treec15c6f12c5050ee3891547ba38a41a639b2a1c0ftree | snapshot
parentf9887ac52c320b4e4165633d7802cd5f4a6f6e3ccommit | diff
According to the Gnome Interface Guidelines the Help menu must be aliged
as the other ones. It should not be all alone on the very right of the screen.
helm/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.