diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-10-26 13:33:28 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-10-26 13:33:28 +0200 |
| commit | 7d08f8c037c6753fac42633810e4deb0ba2c5123 (patch) | |
| tree | 35848efb2f756346d1eec22fbc90461a3f909e32 /.gitignore | |
| parent | 1b9a082eccce24ff1e8c81ae07495914faf2b6e7 (diff) | |
| download | ocaml-7d08f8c037c6753fac42633810e4deb0ba2c5123.tar.gz | |
Update lintapidiff
Make the tool compile
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 809bb2e27a..cd859f3035 100644 --- a/.gitignore +++ b/.gitignore @@ -308,6 +308,8 @@ META /tools/make_opcodes.ml /tools/ocamltex /tools/eventlog_metadata +/tools/lintapidiff +/tools/lintapidiff.opt /toplevel/byte/topeval.mli /toplevel/byte/trace.mli |