remove generated file

This commit is contained in:
Christian Grothoff 2016-09-22 15:09:33 +02:00
parent 4974dd19c0
commit d705309199

Binary file not shown.