From: David Bremner <bremner@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