From 0c1f4d361548cf3de865db7a0a75eaab6c06d970 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Tue, 13 Dec 2016 08:12:34 +0600
Subject: Ignore binaries and oasis-generated files. If we ever modify those
 files, we'll remove them from .gitignore of course.

---
 .gitignore | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to '.gitignore')

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