Commit 99c8d1e5 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Since we are now in git, actually add my .gitignore. 

We have files to ignore, so share the ignore file!
parent 403e48fb

.gitignore

0 → 100644
+5 −0
Original line number Diff line number Diff line 
/Matlab2SMT/target/

/Matlab2SMT/gen/

.idea/

.pvscontext

Matlab2SMT/Matlab2SMT.iml