Better .gitignore file (if you want to add a test file to the repo you will...

Better .gitignore file (if you want to add a test file to the repo you will need to manually add it)

Better .gitignore file (if you want to add a test file to the repo you will...
Better .gitignore file (if you want to add a test file to the repo you will need to manually add it)
5e35022e · Jonathan Shahen · 0e7fde61 · 5e35022e
Commit 5e35022e authored Nov 10, 2015 by Jonathan Shahen
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 5 deletions

.gitignore .gitignore +11 -5

No files found.
--- a/.gitignore
+++ b/.gitignore
-/bin/
-data/testcases/mohawk.jar
+bin/
+target/
+*.lck
+*.csv.*
 *.csv
 mohawk.log*
-src/mohawk/rbac/generated/
+src/mohawk/rbac/generated/*.java
+src/mohawk/rbac/generated/*.tokens
 data/reductions/
-rbacinstancefile1
-rbacinstancefile2
 ROLEMAPPING
+latestRBAC2SMV.smv
+rbacinstancefile*
+MohawkCUIPreviousCommand.txt
+data/testcases/mohawk.jar
+data/