projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73ad179) | patch
git-gui: Rename difffont/mainfont variables.
authorShawn O. Pearce <spearce@spearce.org>
Sat, 11 Nov 2006 23:46:52 +0000 (18:46 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 05:16:02 +0000 (00:16 -0500)
commit3963678da9e78e87fa9b57f2f3ad75ba1c70e589
treed1b1fd7e5e392cc4f0ea81e816980538e7ebb879tree | snapshot
parent73ad179bbbba56c053045c555b7e5f1882380533commit | diff
git-gui: Rename difffont/mainfont variables.

I found difffont to be a very awkward varible name, due to the use
of three f's in a row.  So use easier to read variable names.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui diff | blob | history
Git—the stupid content tracker