From 3a3963206b960afd561fa27e9d2abbe39bce246d Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 5 Oct 2015 12:38:23 +0000 Subject: [PATCH] Update PGF API documentation link on home page, bump version number in gf.cabal to 3.7.1-darcs --- gf.cabal | 2 +- index.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gf.cabal b/gf.cabal index 9e0be5f9b..25cf122b1 100644 --- a/gf.cabal +++ b/gf.cabal @@ -1,5 +1,5 @@ name: gf -version: 3.7.1 +version: 3.7.1-darcs cabal-version: >= 1.10 build-type: Custom diff --git a/index.html b/index.html index 91239fbd6..c88a2ad4d 100644 --- a/index.html +++ b/index.html @@ -84,7 +84,7 @@ function sitesearch() {

Develop Applications