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

2026-04-19 17:59:32 -06:00 · 2008-12-05 19:10:51 +00:00
parent 934a5fc120
commit 498466f8b2
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