Blame · bin/.gitignore · 0c69649ba14ce0393b195e0dd41e4ba3fce0ff59 · Spot / Spot · GitLab

Find file Normal view History Permalink

.gitignore 129 Bytes

Newer Older

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