[PATCH] gitk i18n: More markup -- various options menus
authorChristian Stimming <stimming@tuhh.de>
Wed, 7 Nov 2007 17:44:35 +0000 (18:44 +0100)
committerPaul Mackerras <paulus@samba.org>
Wed, 19 Dec 2007 23:19:07 +0000 (10:19 +1100)
commitb007ee20dcf742d951009bf947f4883cb7f8070a
treec9d1df1d078a38ba72a774f239ef29d09fa803c5
parent15bc7bae91e69dc1c1f85e6acc740bf57f7b554a
[PATCH] gitk i18n: More markup -- various options menus

Signed-off-by: Christian Stimming <stimming@tuhh.de>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk