This website requires JavaScript.
Explore
Help
Register
Sign In
global
/
git
Watch
1
Star
0
Fork
0
You've already forked git
mirror of
https://github.com/git/git.git
synced
2026-03-14 10:53:25 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
f98e862b3105ba14891c71bbe6dfb9ea677f84cc
git
/
git-gui
/
glossary
History
Johannes Schindelin
1c10a57c41
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
...
Conflicts: Makefile Signed-off-by: Johannes Schindelin <
johannes.schindelin@gmx.de
>
2007-09-23 14:29:34 +01:00
..
de.po
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
git-gui-glossary.pot
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
git-gui-glossary.txt
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
Makefile
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
txt-to-pot.sh
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
zh_cn.po
Merge branch 'pu' of git://repo.or.cz/git-gui into devel
2007-09-23 14:29:34 +01:00
