Skip to content
Snippets Groups Projects
Commit 4cab014a authored by David's avatar David
Browse files

clean up TPTP 2 patch with functions module

parent cb7c9f29
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment