diff options
| author | Josh Soref <jsoref@gmail.com> | 2023-11-24 06:35:12 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-11-26 04:07:05 +0300 |
| commit | 65175d9ea26bebeb9d69977d0e75efc0e88dbced (patch) | |
| tree | e61c37b524583da2971612dc3ce0284c844ecd52 /gitk-git | |
| parent | bcb6cae2966cc407ca1afc77413b3ef11103c175 (diff) | |
doc: update links to current pages
It's somewhat traditional to respect sites' self-identification.
Signed-off-by: Josh Soref <jsoref@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git')
| -rwxr-xr-x | gitk-git/gitk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gitk-git/gitk b/gitk-git/gitk index df3ba2ea99..dd80ab8f3b 100755 --- a/gitk-git/gitk +++ b/gitk-git/gitk @@ -12472,7 +12472,7 @@ if {[tk windowingsystem] eq "aqua"} { catch { # follow the XDG base directory specification by default. See - # http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html + # https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html if {[info exists env(XDG_CONFIG_HOME)] && $env(XDG_CONFIG_HOME) ne ""} { # XDG_CONFIG_HOME environment variable is set set config_file [file join $env(XDG_CONFIG_HOME) git gitk] |