From 8ad84a3541bee26d1ba0644274dcf4d9e287c124 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 26 Mar 2019 14:28:07 +0000
Subject: Ignore generated files for CoqIDE bindings

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

diff --git a/.gitignore b/.gitignore
index 4e02e7617c..23e305892e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,6 +150,8 @@ kernel/byterun/coq_jumptbl.h
 kernel/genOpcodeFiles.exe
 kernel/copcodes.ml
 kernel/uint63.ml
+ide/default.bindings
+ide/default_bindings_src.exe
 ide/index_urls.txt
 .lia.cache
 .nia.cache
-- 
cgit v1.2.3