diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 08:23:51 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 10:17:05 +0900 |
| commit | 6053f1ae13ced4e6c1a8315e1b8308c79a587e2f (patch) | |
| tree | 7250b350f1d30c9c9729bf9d882b361a070aa46a /Documentation/config | |
| parent | 649cf589117d5f3a4bf024a187f70f216ed9d114 (diff) | |
| download | git-6053f1ae13ced4e6c1a8315e1b8308c79a587e2f.tar.gz git-6053f1ae13ced4e6c1a8315e1b8308c79a587e2f.tar.xz | |
config.txt: remove config/dummy.txt
This file was only needed when config directory was empty. Now that
the directory is fully populated, it can be deleted.
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 'Documentation/config')
| -rw-r--r-- | Documentation/config/dummy.txt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Documentation/config/dummy.txt b/Documentation/config/dummy.txt deleted file mode 100644 index e69de29bb..000000000 --- a/Documentation/config/dummy.txt +++ /dev/null |