]> granicus.if.org Git - git/commitdiff
projects / git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 649cf58)
config.txt: remove config/dummy.txt
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Sat, 27 Oct 2018 06:23:51 +0000 (08:23 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Oct 2018 01:17:05 +0000 (10:17 +0900)
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>
Documentation/config/dummy.txt [deleted file] patch | blob | history

diff --git a/Documentation/config/dummy.txt b/Documentation/config/dummy.txt
deleted file mode 100644 (file)
index e69de29..0000000
Unnamed repository; edit this file 'description' to name the repository.