From b4c218f777e6bf6d8dfbb268cee7ed002edb455a Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Fri, 6 Jan 2017 00:54:57 +0700
Subject: Remove oasis-generated scripts from gitignore, so that simply
 building vyconf doesn't require oasis.

---
 .gitignore | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5b4c029..fee7bae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,3 @@
 *.byte
 setup.log
 setup.data
-setup.ml
-myocamlbuild.ml
-Makefile
-configure
-- 
cgit v1.2.3