Planned maintenance on Wednesday, 2021-01-20, 17:00-18:00. Expect some interruptions during that time

  • Lorenz Huedepohl's avatar
    Remove generated files · 991e1b3f
    Lorenz Huedepohl authored
    These files can be regenerated with and should not be under
    version control.
    People having trouble generating them should pick a released tar-ball
    which includes them. With sufficiently recent autoconf/automake/libtool,
    it should however be easy to successfully run
.gitignore 214 Bytes