Update gitignore to include newest compilation output - Githubissues

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

51 stars 30 forks source link

Update gitignore to include newest compilation output #196

Closed SSoelvsten closed 2 years ago