diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..61b9a68 --- /dev/null +++ b/.gitignore @@ -0,0 +1,23 @@ +target/classes/ +classes/ +Thumbs.db +.DS_Store +*.class +*.xtendbin +/demo +/research +/samples +bin/ +!/rba.tool.editor.endpoint/lib/linux/z3/bin/ +target/ +plugins/ +features/ +artifacts.jar +content.jar +.svn +output/ + +RBAArbitratorForCplus/arbitrator/*/*test/ +RBAArbitratorForCplus/arbitrator/rba/build*/ +RBAArbitratorForCplus/arbitrator/rba/simulator/ +RBAArbitratorForCplus/arbitrator/rba_model/ |