From 4cbcf71c54628b13e6ced99b4c9ce1edbd1bffe1 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Wed, 25 Oct 2017 15:50:58 +0100 Subject: Point sail/src makefile at ott file in language/ --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index ca2133e9..f884dfdf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +*~ *.native *.byte src/_build/ -- cgit v1.2.3