diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/index.html b/index.html index c6d96a6bf..f00aaabee 100644 --- a/index.html +++ b/index.html @@ -4,9 +4,7 @@ <TITLE>GF - Grammatical Framework</TITLE> <meta charset="UTF-8"> <link rel="stylesheet" href="css/newstyle.css" title="GF"> -<link rel="alterante stylesheet" href="css/oldstyle.css" title="Old"> -<link rel="alternate" href="https://github.com/GrammaticalFramework/GF/" title="GF GitHub Mirror"> -<link rel="alternate" href="http://grammatical-framework.blogspot.com/" title="GF Blog"> +<link rel="alternate" href="https://github.com/GrammaticalFramework/GF/" title="GF GitHub repository"> <meta name = "viewport" content = "width = device-width"> <script type="text/javascript"> function sitesearch() { |