From f58e6695bc29b9e29650b9e5ae8d3d718ca74281 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 23 Apr 2020 14:09:43 +0200
Subject: Updated .gitignore

compile.pl is a build artefact.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index da883cff..6c10e1c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 /Makefile.config
 /.merlin
 /_CoqProject
+/compile.pl
 # Generated files
 /.depend
 /.depend.extr
-- 
cgit