Minor cleanup in webpages

This commit is contained in:
John J. Camilleri
2018-06-12 15:41:05 +02:00
parent baa74e7b32
commit d0ce46722b
5 changed files with 1 additions and 816 deletions

View File

@@ -23,7 +23,7 @@ instructions inside.
==Eclipse==
[GF Eclipse Plugin http://www.grammaticalframework.org/eclipse/index.html], by John J. Camilleri
[GF Eclipse Plugin https://github.com/GrammaticalFramework/gf-eclipse-plugin/], by John J. Camilleri
==Gedit==