diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-02-27 14:40:33 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-02-27 14:40:33 +0100 |
commit | bdc74cd1b945b69f81264cb6df8eb793c0c6817f (patch) | |
tree | adfa2a9b1b5715225c70dd93018d4b25c89be113 /theories/Logic | |
parent | 5bd9452721495296cf4f2f34c77bc27e16377e8e (diff) | |
parent | 858a559331b70e23a3a011e30e5a80a7d4bd7135 (diff) |
Merge PR#399: Debug by default
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions