[PATCH] gitignore: ignore top-level ini files

[Chris Johns]

On 18/9/20 2:46 pm, Sebastian Huber wrote:
> On 17/09/2020 20:55, Gedare Bloom wrote:
> 
>> ping: decision needed--should we git-ignore .ini everywhere, .ini in
>> top-level, or just the default config.ini in top-level?
> I tend to ignore the top-level *.ini files.

Then maybe git should also do this. It would stop someone accidental adding one.

Chris