git: Stop ignoring this file

We haven't autogenerated this file for a very long time now, so we
shouldn't ignore it any more.

This is really just a trivial house-keeping.