diff options
| author | Johannes Sixt <j6t@kdbg.org> | 2025-07-18 22:49:21 +0200 |
|---|---|---|
| committer | Johannes Sixt <j6t@kdbg.org> | 2025-07-22 18:34:21 +0200 |
| commit | 2d3f3f01270a47bed15db774b577b22a9c9c8d9e (patch) | |
| tree | 9799b10bf0d1e7a4196d49b4d698a524f6701d8b /git-gui/lib/diff.tcl | |
| parent | Merge branch 'ml/abandon-old-version' (early part) (diff) | |
| download | git-2d3f3f01270a47bed15db774b577b22a9c9c8d9e.tar.gz git-2d3f3f01270a47bed15db774b577b22a9c9c8d9e.zip | |
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>
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions
