From f4c164463b1fdc260e46f367e13af005d5dd3c55 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Fri, 18 Jun 2010 12:07:06 +0200 Subject: [PATCH] Remove unused file --- heptagon/main/hepcheck.ml | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 heptagon/main/hepcheck.ml diff --git a/heptagon/main/hepcheck.ml b/heptagon/main/hepcheck.ml deleted file mode 100644 index e69de29..0000000