diff options
author | David Bremner <bremner@debian.org> | 2012-01-17 08:47:51 -0400 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-01-17 22:53:31 -0400 |
commit | d51b7842149dcaedd02c4e5b6ba74a5bccd926a9 (patch) | |
tree | 7b23517d526d671351ab031d5dbd312b8d0bb381 | |
parent | 8ea82928b91e847298e4586f9db9734e727a418a (diff) |
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.
-rw-r--r-- | devel/RELEASING (renamed from RELEASING) | 0 | ||||
-rw-r--r-- | devel/TODO (renamed from TODO) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/RELEASING b/devel/RELEASING index 88dab04e..88dab04e 100644 --- a/RELEASING +++ b/devel/RELEASING |