Commit d8633ee7 authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault

ltl-desugar: add binary to gitignore

parent 7ff49e5c
......@@ -5,3 +5,4 @@ pkg
output
go2pins
src/golang.org
ltl/ltl
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment