Re: [PATCH v2 1/2] editorconfig: provide editor settings for Git developers
- From
brian m. carlson <sandals@crustytoothpaste.net>
- Date
- Oct 8, 2018, 21:54 UTC
- Message-ID
- <20181008215454.GQ432229@genre.crustytoothpaste.net>
- In-Reply-To
- <87sh1gcg7z.fsf@evledraar.gmail.com>
On Mon, Oct 08, 2018 at 10:53:52PM +0200, Ævar Arnfjörð Bjarmason wrote:
> > It looks like we can add at least "pm" and "pl" to that pattern:
Sure. I didn't think we had any of those, but you've just proven me wrong. I'll send a v3 shortly.
-- brian m. carlson: Houston, Texas, US OpenPGP: https://keybase.io/bk2204