Start devel directory for developer tools and documentation.
authorDavid Bremner <bremner@debian.org>
Tue, 17 Jan 2012 12:47:51 +0000 (08:47 -0400)
committerDavid Bremner <bremner@debian.org>
Wed, 18 Jan 2012 02:53:31 +0000 (22:53 -0400)
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.

devel/RELEASING [moved from RELEASING with 100% similarity]
devel/TODO [moved from TODO with 100% similarity]

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