diff options
| author | krasimir <krasimir@chalmers.se> | 2010-04-23 18:58:46 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-04-23 18:58:46 +0000 |
| commit | cc4d5d1d394dc561eca4f794e06d4912244c9906 (patch) | |
| tree | 3a4d0998f9cde443657a41fa784a22211672702f | |
| parent | acbc41ef973c9a1f264963b1492e71155a5cddb6 (diff) | |
change the developers link directly in index.html
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 9361e820d..6358be1a2 100644 --- a/index.html +++ b/index.html @@ -28,7 +28,7 @@ December 2009 ] </font> <P> -[ <A HREF="doc/gf-developers.html">Developers</A> +[ <A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Developers</A> | <A HREF="doc/gf-people.html">People</A> | <A HREF="doc/gf-bibliography.html">Publications</A> | <A HREF="doc/gf-reference.html">QuickRefCard</A> |