From 66781e49fb339071d9915b3bc42fca7f250a567b Mon Sep 17 00:00:00 2001
From: Ramana Kumar
Date: Mon, 21 May 2018 10:21:20 +0100
Subject: Ignore src/share_directory.ml

src/Makefile suggests this is a generated file
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 9d77bb0a..3ed63387 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@ src/ast.lem
 src/ast.ml
 src/bytecode.lem
 src/bytecode.ml
+src/share_directory.ml
 _sbuild/
 test/typecheck/rtpass*/
 language/*.pdf
-- 
cgit v1.2.3