]> git.cworth.org Git - notmuch/commitdiff
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.


No differences found