[PATCH 1/2] Split top level .gitignore file

[Dmitry V. Levin]

On Sun, Dec 20, 2020 at 04:28:30PM +0100, Mark Wielaard wrote:
> Hi Dmitry,
> 
> On Sun, Dec 20, 2020 at 03:11:19PM +0300, Dmitry V. Levin wrote:
> > Move subdirectory parts of the top level .gitignore into appropriate
> > subdirectories.  This would be consistent with ChangeLog files,
> > currently one has to update the top level ChangeLog file when the top
> > level .gitignore file is changed in a way that affects specific
> > subdirectories only.
> 
> Both changes look good to me. The only thing I would double check is
> the /*.map entry in backends/.gitignore. It obviously comes from the
> top-level .gitignore. But I don't know why it was there in the first
> place.

There used to be libebl_*.map files, removed by commit
4f937e24dc7ad1820fc7c99a6dd6422657f14666.

I'll remove it from .gitignore in the second commit then.


-- 
ldv