From b61f996c9ff4c8751d048b83438006f9d7ad2950 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Tue, 17 Apr 2018 13:04:10 +0300
Subject: [PATCH] Initial

---
 misc/.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 misc/.gitignore

diff --git a/misc/.gitignore b/misc/.gitignore
new file mode 100644
index 0000000..2824b60
--- /dev/null
+++ b/misc/.gitignore
@@ -0,0 +1,2 @@
+bootstrap*
+ocaml-4.06.1*
-- 
2.11.4.GIT