summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_config.ml
Commit message (Expand)AuthorAgeFilesLines
* fusion de la version 3.10.0Damien Doligez2007-10-081-2/+4
* handling a path to load custom generatorsMaxence Guesdon2004-01-281-0/+16