diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:17:14 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:17:14 +0100 |
commit | 76058420ec0ea037504adf0af213d0542bd7c1c3 (patch) | |
tree | 37282697132f0b7db4f560b5503f7ec2dba11029 /parsing | |
parent | 1f5699d57e9d4950b43d6c5f5259c3cf15564b31 (diff) | |
parent | 34babfdb5f45a04e89f671a21cc632ad127a26d4 (diff) |
Merge PR #6899: [compat] Remove "Standard Proposition Elimination"
Diffstat (limited to 'parsing')
0 files changed, 0 insertions, 0 deletions