Akim Demaille 76e5017732 update files to ignore ...

* doc/.gitignore: Don't ignore split info files as we don't split our
info file.
See <http://lists.gnu.org/archive/html/bug-bison/2012-08/msg00006.html>.

2012-09-04 10:50:30 +02:00

340 B

Raw Blame History

View Raw