[PATCH] gitk i18n: More markup -- various options menus
treec9d1df1d078a38ba72a774f239ef29d09fa803c5
-rw-r--r-- 1531 Makefile
-rwxr-xr-x 238510 gitk
drwxr-xr-x - po