Commit 9d5ee3d639ab13a850144cf7139700b5d1bd9e61

Bruno Haible 2016-12-30T01:12:47

Remove autogenerated files from version control.