Commit d82ab41

committed

Merge branch 'master' of https://github.com/ZOUG/psoa2tptp.git

2 parents f0ea9d0 + 09f1e40 commit d82ab41Copy full SHA for d82ab41

1 file changed

+0

-41

lines changed

README

1 file changed

+0

-41

lines changed

`‎README‎`

This file was deleted.

Comments

(0)