Subject: Re: [PATCH] gitignore: ignore sh.config and doc/config.dox
Date: Tue, 28 Oct 2014 12:17:28 +0100
To: Jani Nikula, notmuch@notmuchmail.org
Cc:
From: David Bremner
pushed. d