From 580cfdf676931f8b590f6f1eb84e42da17569393 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 31 Mar 2020 15:33:27 +0100
Subject: Update .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 72e3693..7c17072 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,6 +37,10 @@ src/extraction/*.ml
 src/extraction/*.mli
 src/extraction/STAMP
 
+*.exe
+*.ini
+bin/coqup
+
 # Ocaml
 _build
 dune-project
-- 
cgit