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]

diff --git a/Documentation/config/dummy.txt b/Documentation/config/dummy.txt
deleted file mode 100644 (file)
index e69de29..0000000