diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:14:20 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:14:20 +0200 |
commit | 25ae2d4df0cf9fcd4069e66d260c207300415af9 (patch) | |
tree | 9980c73b1a9c1ffffbc9bc9a0f732474d3cb32ff /libs/ezsat/.gitignore | |
parent | c681c17038acb5f60d5abcf58f20d6a8d2bdffef (diff) |
Fixes and improvements in ezSAT library
Diffstat (limited to 'libs/ezsat/.gitignore')
-rw-r--r-- | libs/ezsat/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libs/ezsat/.gitignore b/libs/ezsat/.gitignore new file mode 100644 index 00000000..e079bd09 --- /dev/null +++ b/libs/ezsat/.gitignore @@ -0,0 +1,5 @@ +demo_bit +demo_cmp +demo_vec +puzzle3d +testbench |