-update ignore files
authorChristian Grothoff <christian@grothoff.org>
Fri, 8 Jul 2016 16:35:59 +0000 (16:35 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 8 Jul 2016 16:35:59 +0000 (16:35 +0000)
commitc82072eaae70a10f46dfc448e9aefd80cde2ae45
treef56a0bbe3ce64c818c87bae6171ba800ab05b701
parent6e3599bab213760c66f13f6103ebf650bbe5b7e9
-update ignore files