From: David Bremner <bremner@debian.org>
Date: Tue, 17 Jan 2012 12:47:51 +0000 (-0400)
Subject: Start devel directory for developer tools and documentation.
X-Git-Tag: debian/0.12_rc1-1~197
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=d51b7842149dcaedd02c4e5b6ba74a5bccd926a9;p=notmuch.git

Start devel directory for developer tools and documentation.

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.
---

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