search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

update the main .gitignore #1092

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Oops. The script was ignoring any git file to avoid destroying the clones (learned it the hard way).