ignore generated files
authorChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:45 +0000 (23:22 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 13 Feb 2019 22:22:45 +0000 (23:22 +0100)
commite6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d
treef5a5c5e551740fbae4523d078078038ff6ae379b
parent443454a6212e5596f7caaadf3b666fa4857edb64
ignore generated files
doc/handbook/.gitignore