From 5cf10a4c70763cbb95747b19ac35b57a9dee4dd5 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jul 2020 10:22:13 +0100
Subject: More renames to get it to compile

---
 coqup.opam | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 coqup.opam

(limited to 'coqup.opam')

diff --git a/coqup.opam b/coqup.opam
deleted file mode 100644
index e69de29..0000000
-- 
cgit