Blame · src/bin/.gitignore · 3b7b52027ca0cf9700804f1eed84c56478972845 · Spot / Spot · GitLab

Find file Normal view History Permalink

.gitignore 111 Bytes

Newer Older

More files to ignore. Alexandre Duret-Lutz committed Jan 03, 2015	1 2 3	`autfilt dstar2tgba genltl`
bin/ltl2tgba: New user binary. Alexandre Duret-Lutz committed Sep 12, 2012	4	`ltl2tgba`
more files to ignore Alexandre Duret-Lutz committed Nov 28, 2012	5 6	`ltl2tgta ltlcross`
More files to ignore. Alexandre Duret-Lutz committed Jan 03, 2015	7 8 9 10	`ltlfilt ltlgrind randaut randltl`
spot-x.7: new man page for common fine-tuning options Alexandre Duret-Lutz committed Apr 09, 2013	11	`spot-x`
bin/ltl2tgba: New user binary. Alexandre Duret-Lutz committed Sep 12, 2012	12 13	`.a .1`
spot-x.7: new man page for common fine-tuning options Alexandre Duret-Lutz committed Apr 09, 2013	14	`*.7`
more files to ignore Alexandre Duret-Lutz committed Nov 28, 2012	15	`lck-*`