From eb3e615afb7b621cca8d4b8479531f5f65b3dfa2 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Tue, 30 Oct 2018 23:37:29 +0100 Subject: gitignore: mask more side-effects --- .gitignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 5ac362e..65b1cd8 100644 --- a/.gitignore +++ b/.gitignore @@ -7,7 +7,20 @@ setup.data setup.log _tags +# findlib stuff +META + # build artefacts _build/ sid_test.byte +sid.mldylib +sid.mllib +sidparse.native +sidparse.byte + +# session +sid.vim +# ocamldoc +sid_intf.docdir +sid_intf.odocl -- cgit v1.2.3