projects / notmuch.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8ea8292)
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] patch | blob | history
devel/TODO [moved from TODO with 100% similarity] patch | blob | history

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
Thread-based e-mail indexer, supporting quick search and tagging