From: Adam Megacz Date: Mon, 21 Mar 2011 01:53:02 +0000 (-0700) Subject: rename General/Preamble to avoid conflict with ghc-hetmet X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=707c30ea7a5452b335ad62a4749486fd2598e43e rename General/Preamble to avoid conflict with ghc-hetmet --- 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-