diff options
Diffstat (limited to 'ocamldoc/odoc_global.ml')
| -rw-r--r-- | ocamldoc/odoc_global.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ocamldoc/odoc_global.ml b/ocamldoc/odoc_global.ml index dc9635118..24f0ac290 100644 --- a/ocamldoc/odoc_global.ml +++ b/ocamldoc/odoc_global.ml @@ -85,6 +85,3 @@ let with_trailer = ref true let with_toc = ref true let with_index = ref true - - - |