diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-12-01 23:50:45 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-01 23:50:45 -0800 |
commit | 41b5707b9aef9cae3e96f2cce48fe83e49fc4a32 (patch) | |
tree | 04ab0b1845bb2d78bf2fb642e5feff35e8bb259b /src/parser/tptp/tptp.cpp | |
parent | b5ca3b62dd532f119355210b870b7f25a04a4500 (diff) | |
parent | 901cea314c4dc3be411c345e42c858063fe5aa1b (diff) |
Merge branch 'master' into fix_cdlistfix_cdlist
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
0 files changed, 0 insertions, 0 deletions