diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 08:23:04 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 02:17:02 +0100 |
| commit | d864cf8bf97786d2511523765ffae8fa70ee675f (patch) | |
| tree | 0005ab605f87948b33d37487a54e8f911e3d4faa /Documentation/config/gui.txt | |
| parent | config.txt: move gpg.* to a separate file (diff) | |
| download | git-d864cf8bf97786d2511523765ffae8fa70ee675f.tar.xz git-d864cf8bf97786d2511523765ffae8fa70ee675f.zip | |
config.txt: move gui-config.txt to config/
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '')
| -rw-r--r-- | Documentation/config/gui.txt (renamed from Documentation/gui-config.txt) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Documentation/gui-config.txt b/Documentation/config/gui.txt index d30831a130..d30831a130 100644 --- a/Documentation/gui-config.txt +++ b/Documentation/config/gui.txt |