diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2016-10-27 10:57:02 +0200 |
|---|---|---|
| committer | Matej Kosik <matej.kosik@inria.fr> | 2016-10-27 10:57:02 +0200 |
| commit | ebc07e5741fab0df15a8de56fc69397a7d164ce9 (patch) | |
| tree | cea27a714491d073af1224e0daf6f04dc9f471a8 /kernel/cbytegen.ml | |
| parent | a9dcb4dc1c9ec4fd8bf22450402f443ec15d8f09 (diff) | |
COMMENT: unfortunatelly, ocamldoc does not recognize this kind of markup: it generates garbage. So the comment is kept but it is not passed over to ocamldoc.
Diffstat (limited to 'kernel/cbytegen.ml')
0 files changed, 0 insertions, 0 deletions