[PATCH v2] extensions: rename _ignore to _builtin, add descriptive comment

[Pierre-Yves David]

On 11/24/2015 04:39 PM, Bryan O'Sullivan wrote:
> # HG changeset patch
> # User Bryan O'Sullivan <bos at serpentine.com>
> # Date 1448411934 28800
> #      Tue Nov 24 16:38:54 2015 -0800
> # Node ID d6b0390abdf10f7fc787082d683624c15cafc452
> # Parent  f668eef04abc3de94f41b527daa0bb7a0cf76f56
> extensions: rename _ignore to _builtin, add descriptive comment

Sure, pushed to the clowncopter.

-- 
Pierre-Yves David