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

[Matt Mackall]

On Tue, 2015-11-24 at 17:10 -0800, Pierre-Yves David wrote:
> 
> 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.

Niggle: the new name is actually less accurate. Some of these like
inotify are simply gone and not built-in.

-- 
Mathematics is the supreme nostalgia of our time.