]> git.99rst.org Git - git.git/commit
git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b952bd0)
gitk: make headings of preferences bold
authorChristoph Sommer <redacted>
Thu, 5 Dec 2024 19:29:39 +0000 (20:29 +0100)
committerJohannes Sixt <redacted>
Mon, 9 Dec 2024 19:58:02 +0000 (20:58 +0100)
commitb2490ae42f00f6a40b8fd83d2b2069eb15ef84e2
tree28fddf44bff05df8b069cd6e2eb54aa42612f1a3tree
parentb952bd0c2efc51e1c6d1aff71c116ebd1c8b7432commit | diff
gitk: make headings of preferences bold

Make preference groups like "Diff display options" stand out more.

Signed-off-by: Christoph Sommer <redacted>
Signed-off-by: Johannes Sixt <redacted>
gitk diff | blob | history
git clone https://git.99rst.org/PROJECT