[PATCH] gitk i18n: More markup -- various options menus
authorChristian Stimming <redacted>
Wed, 7 Nov 2007 17:44:35 +0000 (18:44 +0100)
committerPaul Mackerras <redacted>
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 <redacted>
Signed-off-by: Paul Mackerras <redacted>
gitk
git clone https://git.99rst.org/PROJECT