diff options
| author | mrmr1993 | 2018-03-03 14:38:43 +0000 |
|---|---|---|
| committer | mrmr1993 | 2018-03-05 14:46:31 +0000 |
| commit | b88790fc8d473af4afd8dd59af61c137068e0376 (patch) | |
| tree | c7913f8da91a581b0fd88ec950bdb1b8b1be379b /pretyping/typeclasses_errors.ml | |
| parent | 5fda90cfe7ad79ee4e32681643b40d9fd0e573ee (diff) | |
Separate vim/emacs fold markers from ocamldoc comments
ocamldoc chokes on the markers {{{ and }}} because { and } are part of
its syntax
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions