EdmonL/RuleML2TPTP — pull request #12 by EdmonL (2014-11-15 02:53:31+00:00)
Title: keep comments by default, fixes #11

keep coments by default.