From 48e90ad8bd85f4afe70254bcd67c66d91c18ef0d Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 5 Dec 2008 19:10:51 +0000
Subject: [PATCH] Rename PGF Server cabal packages to pgf-server (was
 gf-server).

---
 src/server/{gf-server.cabal => pgf-server.cabal} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename src/server/{gf-server.cabal => pgf-server.cabal} (97%)

diff --git a/src/server/gf-server.cabal b/src/server/pgf-server.cabal
similarity index 97%
rename from src/server/gf-server.cabal
rename to src/server/pgf-server.cabal
index f2aea6905..f20d61a47 100644
--- a/src/server/gf-server.cabal
+++ b/src/server/pgf-server.cabal
@@ -1,4 +1,4 @@
-name: gf-server
+name: pgf-server
 version: 1.0
 cabal-version: >= 1.2
 build-type: Simple