summaryrefslogtreecommitdiffstats
path: root/syntax/tptp.vim (follow)
AgeCommit message (Expand)AuthorFilesLines
2019-06-08Add tptp syntaxAdam Stankiewicz1-0/+152