diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2014-04-03 16:18:14 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2014-04-03 16:18:14 +0000 |
commit | c95804ee7e05b0e235d0deafe916095907e0b90f (patch) | |
tree | 3ec426ace889ce3a3ff7175a6dc88ef6a496bd82 /tools | |
parent | 2699d155a0929ec67958f0c8ef2a83ce31bc65ef (diff) |
ignore generated file ocamlmklibconfig.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r-- | tools/.ignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/.ignore b/tools/.ignore index 5f3f25bf1..94fac02fb 100644 --- a/tools/.ignore +++ b/tools/.ignore @@ -18,6 +18,7 @@ keywords lexer299.ml ocaml299to3 ocamlmklib +ocamlmklibconfig.ml lexer301.ml scrapelabels addlabels |