diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-06-02 04:56:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 04:56:05 -0700 |
commit | 4e167447af92d03e6bdd82022cca03ba538e39cc (patch) | |
tree | 69402fa0ad54e2317a796e5f47fc224d809785e9 /src/parser/tptp/tptp.cpp | |
parent | be4e723a0d875dbb2db9f45e5d9c365328fe904a (diff) | |
parent | 61b2694ac72d41aeff9c67e3631278e5a3bea5cb (diff) |
Merge branch 'master' into issue6643
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
0 files changed, 0 insertions, 0 deletions