gitweb: Add optional "time to generate page" info in footer
[gitweb.git] / git-gui / po / glossary /
drwxr-xr-x   parent (dest: git-gui/po; base: aa7dd05e6a622ec17d034980c4440b0aed583c6e)
-rw-r--r-- 260 Makefile
-rw-r--r-- 5842 de.po
-rw-r--r-- 4234 fr.po
-rw-r--r-- 3864 git-gui-glossary.pot
-rw-r--r-- 2633 git-gui-glossary.txt
-rw-r--r-- 5712 it.po
-rwxr-xr-x 1201 txt-to-pot.sh
-rw-r--r-- 5250 zh_cn.po