Blame · src/bin/.gitignore · 1337c9c3e18b3017aa370dbb95ec9543e9a79a0a · Spot / Spot · GitLab

Find file Normal view History Permalink

.gitignore 64 Bytes

Newer Older

ltlfilt: initial implementation. Alexandre Duret-Lutz committed Sep 04, 2012	1	`ltlfilt`
bin/ltl2tgba: New user binary. Alexandre Duret-Lutz committed Sep 12, 2012	2	`ltl2tgba`
more files to ignore Alexandre Duret-Lutz committed Nov 28, 2012	3	`ltl2tgta`
bin/ltl2tgba: New user binary. Alexandre Duret-Lutz committed Sep 12, 2012	4 5	`randltl genltl`
more files to ignore Alexandre Duret-Lutz committed Nov 28, 2012	6	`ltlcross`
bin/ltl2tgba: New user binary. Alexandre Duret-Lutz committed Sep 12, 2012	7 8	`.a .1`
more files to ignore Alexandre Duret-Lutz committed Nov 28, 2012	9	`lck-*`