summaryrefslogtreecommitdiffstats
path: root/doc/ocaml.txt (follow)
AgeCommit message (Expand)AuthorFilesLines
2020-10-19Remove docs so docs of installed plugins are up to dateAdam Stankiewicz1-16/+0
2020-08-24Include docs of pluginsAdam Stankiewicz1-0/+16