diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-04-09 11:14:31 -0500 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-09 09:14:31 -0700 |
commit | 84da9c0b4825abee124357a2b8e779965a9c7b30 (patch) | |
tree | 9f59be2e60b0517725f70689e647d84ca5955130 /test/regress/regress0/uf | |
parent | 4c166cb8e9294fef3f92b5a361d145c83b27fcdd (diff) |
Removing references to cvc4-bugs@... (#2945)
Diffstat (limited to 'test/regress/regress0/uf')
0 files changed, 0 insertions, 0 deletions