diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2013-07-24 14:39:31 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2013-07-24 14:39:31 +0000 |
commit | 5fbcc8e6aed0ad76b57d8566490678711de33774 (patch) | |
tree | ec9a94fb899bdf85ea103037786ab14003ce70da /ocamldoc/odoc_latex_style.ml | |
parent | d3e731774e8c38a79cc936b211e7a6f99c41ffae (diff) | |
download | ocaml-5fbcc8e6aed0ad76b57d8566490678711de33774.tar.gz |
PR#4243: make the Makefiles parallelizable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_latex_style.ml')
0 files changed, 0 insertions, 0 deletions