[PATCH] Start devel directory for developer tools and documentation.
David Bremner
david at tethera.net
Tue Jan 17 04:47:51 PST 2012
From: David Bremner <bremner at debian.org>
We had a lot of back and forth about the name of this directory, but
nothing very conclusive. In the end, I just chose "devel" just to move
on.
---
RELEASING => devel/RELEASING | 0
TODO => devel/TODO | 0
2 files changed, 0 insertions(+), 0 deletions(-)
rename RELEASING => devel/RELEASING (100%)
rename TODO => devel/TODO (100%)
diff --git a/RELEASING b/devel/RELEASING
similarity index 100%
rename from RELEASING
rename to devel/RELEASING
diff --git a/TODO b/devel/TODO
similarity index 100%
rename from TODO
rename to devel/TODO
--
1.7.8.3
More information about the notmuch
mailing list