[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