From 45b6332f6e8115049c83c6c9b72cfb79db4ab13e Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 25 Nov 2015 04:30:59 +0100 Subject: Update .gitignore --- .gitignore | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index cbd01fe85..ea40cf1c5 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,13 @@ +*~ +*.ali +*.o +b~*.ad? +*.v87 +*.v93 +*.v08 + +# Generated files on windows. dist/mcode/build/ dist/mcode/lib/ + +testsuite/get_entities -- cgit v1.2.3