From d399ec201522cbbda820fe55b8d002f824cc5c1a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 18 May 2020 14:43:44 +0200
Subject: [PATCH] update gitignore

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

diff --git a/.gitignore b/.gitignore
index 84be542..06b79b9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ build-dep/
 Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
+_opam
-- 
GitLab