diff options
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 |