diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-09-14 03:22:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-09-14 03:22:51 +0000 |
commit | d37cfff40c4e72f476b3ee5c1eb2c0f9790fcf00 (patch) | |
tree | 7d5b2023783e4612b62bb1ed8e2bc0735187d818 /.gitignore | |
parent | bd9eb727cd4897a8dbb80ea730082886ce1c18e4 (diff) |
ensure uf/congruence closure debugging stuff isn't called in production builds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions