Rename PGF Server cabal packages to pgf-server (was gf-server).

2026-04-09 13:09:33 -06:00 · 2008-12-05 19:10:51 +00:00
parent e27065ae74
commit 48e90ad8bd
1 changed files with 1 additions and 1 deletions
--- a/src/server/pgf-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