Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[gitweb.git] / git-gui / po / glossary /
drwxr-xr-x   parent (dest: git-gui/po; base: 891e85a0c08e12d3f6174d8eb10b4ef284c4b01b)
-rw-r--r-- 260 Makefile
-rw-r--r-- 5828 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