summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--index.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html
index 17ec92f90..75324dfaa 100644
--- a/index.html
+++ b/index.html
@@ -35,6 +35,7 @@ December 2010
| <A HREF="doc/gf-lrec-2010.pdf">LibTutorial</A>
| <A HREF="http://www.molto-project.eu">MOLTO</A>
| <A HREF="http://school.grammaticalframework.org">SummerSchool</A>
+| <A HREF="/android/">Android</A>
]
</div>
<H2>News</H2>