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