]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f3d030) | patch
gitk: remove header of now empty section "General options"
authorJohannes Sixt <j6t@kdbg.org>
Fri, 18 Jul 2025 20:49:21 +0000 (22:49 +0200)
committerJohannes Sixt <j6t@kdbg.org>
Tue, 22 Jul 2025 16:34:21 +0000 (18:34 +0200)
commit2d3f3f01270a47bed15db774b577b22a9c9c8d9e
tree9799b10bf0d1e7a4196d49b4d698a524f6701d8btree
parent0f3d030de509d69c4ed6c8fa62da3bc32cdf3befcommit | diff
gitk: remove header of now empty section "General options"

An earlier commit remove the only option that was available under
"General options". We don't need the header for the empty section.

Signed-off-by: Johannes Sixt <j6t@kdbg.org>
gitk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.