diff options
| author | Camil Staps | 2016-03-31 19:37:22 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-03-31 19:37:22 +0200 |
| commit | 926318dc6938a55df4658f8af46b069352ccb458 (patch) | |
| tree | 119ca9da7c7bd507bd5129b56816ecb8aa0f3da8 /.gitignore | |
| parent | Fixed bug where atom options were duplicated (diff) | |
Fixed issue where truth tables had too many options
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions