[PATCH] Start devel directory for developer tools and documentation.

Austin Clements amdragon at MIT.EDU
Tue Jan 17 15:23:38 PST 2012


Quoth David Bremner on Jan 17 at  8:47 am:
> From: David Bremner <bremner at 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.

LGTM.


More information about the notmuch mailing list