tree 093cf5be9d60a3734ab9df8bbb7364393bc42446
parent 6c7f4cebdb40c0d95c63d59538fd235dcf978029
parent 8a48571ce52e5182ea32ed168e298882f8c470b3
author Junio C Hamano <junkio@cox.net> 1155432737 -0700
committer Junio C Hamano <junkio@cox.net> 1155432737 -0700

Merge git://git.kernel.org/pub/scm/gitk/gitk

* git://git.kernel.org/pub/scm/gitk/gitk:
  gitk: Show the currently checked-out head in bold font
  gitk: Allow the user to set some colors