Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove generated files (auto tools).
Some of these were revived in 4c163b1 bc they were supposedly not generated when running autogen.sh. That's not the case (any more) so let's avoid checking in generated files. Note that these files will be included in tar balls made from make dist.
- Loading branch information