diff options
| author | bjorn <bjorn@bringert.net> | 2008-12-05 19:10:51 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-12-05 19:10:51 +0000 |
| commit | 498466f8b25f6a14986f10ffdeb57d8377d79b57 (patch) | |
| tree | a81d2ca374af6213642595cb1b9590ffcf579bf5 /src/server | |
| parent | 934a5fc120d2fa0b21bc7bb7c44fcb922000ba9e (diff) | |
Rename PGF Server cabal packages to pgf-server (was gf-server).
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/pgf-server.cabal (renamed from src/server/gf-server.cabal) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/gf-server.cabal b/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 |