From e281e9698710c9ad9cbb6849970902d8d1b08b73 Mon Sep 17 00:00:00 2001
From: Yusuke Matsushita <y.skm24t@gmail.com>
Date: Mon, 20 Mar 2023 00:20:37 +0900
Subject: [PATCH] Add _opam to .gitignore

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

diff --git a/.gitignore b/.gitignore
index fead3cd9c..3b3e22808 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ Makefile.coq.conf
 .Makefile.coq.d
 Makefile.package.*
 .Makefile.package.*
+_opam
-- 
GitLab