From d8755b5e7ae266e634cf16a8ed653215100adc4d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 5 Jun 2018 17:42:59 +0200
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
index f4de0430..28f56a33 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ Makefile.coq.conf
 *.crashcoqide
 html/
 build-dep/
+_opam
-- 
GitLab