Skip to content
GitLab
Explore
Sign in
Spot
go2pins
Repository
go2pins
.gitignore
Find file
Blame
History
Permalink
gitignore: ignore ltlrec
· 9a3041b6
Etienne Renault
authored
Apr 23, 2020
* .gitignore: Here.
9a3041b6