diff options
author | major seitan <majorseitan@users.noreply.github.com> | 2018-06-02 14:58:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-02 14:58:45 -0400 |
commit | 87c86c5d2066a8805c7e72e3279ae8d5822f0c90 (patch) | |
tree | 02fa912c9b44ee07c0fcfe2bad0e2b686d0103b3 /tests/cfold_disj.ur | |
parent | b4ffc6c4837e06c48a1a15ea662c25aa92566bf6 (diff) | |
parent | 1c493e9ec47f4754dd7237078e8c4f3300925ce3 (diff) |
Merge branch 'master' into master
Diffstat (limited to 'tests/cfold_disj.ur')
0 files changed, 0 insertions, 0 deletions