aboutsummaryrefslogtreecommitdiffstats
path: root/git-gui/lib/option.tcl
AgeCommit message (Expand)AuthorFilesLines
2025-07-22Merge branch 'master' of https://github.com/j6t/git-guiJunio C Hamano1-42/+30
2016-10-20Merge tag 'gitgui-0.21.0' of git://repo.or.cz/git-guiJunio C Hamano1-4/+4
2015-04-18Merge tag 'gitgui-0.20.0' of http://repo.or.cz/r/git-guiJunio C Hamano1-0/+1
2013-12-09Merge git://repo.or.cz/git-guiJunio C Hamano1-0/+2
2011-12-13Merge branch 'master' of git://repo.or.cz/git-guiJunio C Hamano1-0/+20
2010-08-02Merge git://repo.or.cz/git-gui into pt/git-guiJunio C Hamano1-0/+1
2010-02-07Merge git://repo.or.cz/git-guiv1.7.0-rc2Junio C Hamano1-30/+37
2008-11-16Merge git://repo.or.cz/git-guiJunio C Hamano1-6/+6
2008-09-25Merge git://repo.or.cz/git-guiShawn O. Pearce1-0/+35
2008-09-06Merge updated git-gui and gitk that call each otherJunio C Hamano1-0/+2
2008-09-06Merge branch 'maint' of git://repo.or.cz/git-gui into maintJunio C Hamano1-1/+1
2008-07-27Merge git://repo.or.cz/git-guiJunio C Hamano1-0/+2
2008-03-11Merge git://repo.or.cz/git-guiJunio C Hamano1-0/+1
2008-02-16Merge git://repo.or.cz/git-guiJunio C Hamano1-3/+1
2008-02-13Merge git://repo.or.cz/git-guiJunio C Hamano1-0/+41
2007-11-21Merge git://repo.or.cz/git-guiJunio C Hamano1-104/+27
2007-09-17Merge branch 'maint' of git://repo.or.cz/git-gui into maintJunio C Hamano1-11/+17
2007-07-12Merge commit 'git-gui/master'Junio C Hamano1-0/+2
2007-06-11Merge branch 'master' of git://repo.or.cz/git-guiJunio C Hamano1-1/+16
2007-06-11Merge branch 'maint' of git://repo.or.cz/git-gui into maintJunio C Hamano1-1/+4
2007-05-07Merge branch 'master' of git://repo.or.cz/git-guiShawn O. Pearce1-0/+290