spot/bench/ltlcounter/.gitignore
Alexandre Duret-Lutz dd0f01fe03 more files to ignore
2011-01-27 21:47:47 +01:00

4 lines
24 B
Text