From 707c30ea7a5452b335ad62a4749486fd2598e43e Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 20 Mar 2011 18:53:02 -0700 Subject: [PATCH] rename General/Preamble to avoid conflict with ghc-hetmet --- src/{General.v => General.v-} | 0 src/{Preamble.v => Preamble.v-} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{General.v => General.v-} (100%) rename src/{Preamble.v => Preamble.v-} (100%) diff --git a/src/General.v b/src/General.v- similarity index 100% rename from src/General.v rename to src/General.v- diff --git a/src/Preamble.v b/src/Preamble.v- similarity index 100% rename from src/Preamble.v rename to src/Preamble.v- -- 1.7.10.4