-
Alexandre Duret-Lutz authored
* .gitignore, bench/dtgbasat/.gitignore, debian/.gitignore, doc/org/.gitignore, src/tests/.gitignore, wrap/python/.gitignore: More files to ignore. * doc/org/ltlfilt.org: Erase some temporary files.
6f99829a
* .gitignore, bench/dtgbasat/.gitignore, debian/.gitignore, doc/org/.gitignore, src/tests/.gitignore, wrap/python/.gitignore: More files to ignore. * doc/org/ltlfilt.org: Erase some temporary files.