diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-17 10:05:29 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-17 10:05:29 +0000 |
| commit | 1a098d3d7a89433913818ed43e9d134a11e780f2 (patch) | |
| tree | 889b81bd1e32f5c414ff455d028c43c971fba252 /src | |
| parent | 44eeb7a0f78cdbf0a77c351156dae81d3c57e615 (diff) | |
Delete gf.fcgi in src/server/Makefile.
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/Makefile b/src/server/Makefile index 574a2aeca..b46563cc2 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -44,3 +44,4 @@ gwt-installball: pgf.fcgi gwt clean: cabal clean + -rm -f pgf.fcgi
\ No newline at end of file |