Files
git/gitk
Paul Mackerras 6c20ff3423 Try to assign colors so crossing lines have different colors
In particular try hard to give different colors to lines that cross
at a corner in one of the lines.
2005-06-22 19:53:32 +10:00

46 KiB
Executable File