ignore generated files, one per line
authorChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:58 +0000 (23:22 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:58 +0000 (23:22 +0100)
commitd622dbfe5853609590a34637f6ba6834f424a9d6
tree59673c996532279e79417cd5a8b34d9d3c313bb3
parente6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d
ignore generated files, one per line
doc/handbook/.gitignore