diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/.gitignore')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/.gitignore | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/.gitignore b/cryptominisat5/cryptominisat-5.6.3/.gitignore deleted file mode 100644 index 601812a2a..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/.gitignore +++ /dev/null @@ -1,21 +0,0 @@ -*.kdev4 -*.pyc -.directory -scripts/fuzzTest*.cnf -scripts2/ -scripts3/ -scripts4/ -desc/satcomp14/cmsv4.aux -desc/satcomp14/cmsv4.bbl -desc/satcomp14/cmsv4.blg -desc/satcomp14/cmsv4.kilepr -desc/satcomp14/cmsv4.log -desc/satcomp14/cmsv4.out -desc/satcomp14/cmsv4.pdf -scripts/reconf/outs -tests/cnf-files/*.sqlite -scripts/fuzz/fuzzTest_* -scripts/fuzz/tmp_for_xor_to_cnf_* -scripts/reconf/outfile* - -web/jquery-1.11.3.min.js |