diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-11-28 17:35:53 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-11-28 18:04:53 +0100 |
commit | 1c0424c80efe3f7b6a4aa838de6ba78c1d9fa607 (patch) | |
tree | 7714a89e76e3e1ed2b1082d059042a4b60914d9e /.gitignore | |
parent | 69316099b041089c096816da2685b99c59d10f2e (diff) | |
download | ocaml-1c0424c80efe3f7b6a4aa838de6ba78c1d9fa607.tar.gz |
ocamltest: draft of reference manual (tutorial section)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5da73a826e..b9c3eeca2f 100644 --- a/.gitignore +++ b/.gitignore @@ -120,6 +120,7 @@ _build /ocamltest/tsl_lexer.ml /ocamltest/tsl_parser.ml /ocamltest/tsl_parser.mli +/ocamltest/ocamltest.html /otherlibs/dynlink/extract_crc /otherlibs/dynlink/dynlink_platform_intf.mli |