From cd1dd4309ee3084fd02401fb0c506d14c094a01c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 2 Jun 2019 16:24:54 +0200
Subject: [PATCH] update gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 2ce0641..7e0b32f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@
 *.bak
 .coqdeps.d
 .coq-native/
+_opam
 build-dep/
 Makefile.coq
 Makefile.coq.conf
-- 
GitLab