spot/debian/.gitignore at am/sonf

Alexandre Duret-Lutz 6f99829a1d help git --status by ignoring more files

* .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.

2015-09-09 00:49:13 +02:00

2 lines

15 B

Text

Raw Permalink Blame History

	`*.ex`
	`changelog`

2 lines 15 B Text Raw Permalink Blame History

2 lines

15 B

Text

Raw Permalink Blame History