gf-server: added a way to list the available pgf files

2026-05-20 16:42:51 -06:00 · 2008-10-29 20:45:18 +00:00
parent 681648fb05
commit 3e40a907ca
2 changed files with 26 additions and 6 deletions
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -11,6 +11,7 @@ executable pgf.fcgi
                 old-time,
                 unix,
                 directory,
+                 filepath,
                 containers,
                 gf >= 3.0,
                 cgi >= 3001.1.7.0,