Meta/Dothem: clean with "distclean"
commit5f30cab0d2fd05370d584b002e7fa07b6286948e
authorJunio C Hamano <gitster@pobox.com>
Tue, 28 Apr 2015 22:47:53 +0000 (28 15:47 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 28 Apr 2015 22:47:53 +0000 (28 15:47 -0700)
tree7862b97c33878cb6641da4c0afa3f336c1acb2d5
parentc81a7d87e50be3b1cf252757d1d25d4e8aff80e0
Meta/Dothem: clean with "distclean"
Dothem