From f9bee86a91025f7d727a1765a2d9ad98fbd10c9f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 4 Jun 2018 10:59:48 +0200
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
index 575e692..e8ec18d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ Makefile.coq
 Makefile.coq.conf
 .coq-native/
 build-dep
+_opam
-- 
GitLab