projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 649cf58) | patch
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)
commit6053f1ae13ced4e6c1a8315e1b8308c79a587e2f
tree7250b350f1d30c9c9729bf9d882b361a070aa46atree | snapshot
parent649cf589117d5f3a4bf024a187f70f216ed9d114commit | diff
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>
Documentation/config/dummy.txt [deleted file] blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.