From d51b7842149dcaedd02c4e5b6ba74a5bccd926a9 Mon Sep 17 00:00:00 2001
From: David Bremner <bremner@debian.org>
Date: Tue, 17 Jan 2012 08:47:51 -0400
Subject: [PATCH 1/1] 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.
---
 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
-- 
2.43.0