search

gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Remove generated files from repository #95

Closed fingolfin closed 8 months ago

fingolfin commented 8 months ago

Not putting generated files into git is a good practice in general. In this case, those files always showed up with diffs for me after building guava, since my version of autoconf generates them with slightly different content.