diff options
| author | hallgren <hallgren@chalmers.se> | 2014-04-28 13:56:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-04-28 13:56:20 +0000 |
| commit | 2721f7358f5c33c48ff24817ec787c3db678ad8a (patch) | |
| tree | bb232f5723bec56f93c446ff34d5f5479946f975 /index.html | |
| parent | b5fd7d88c107e80454696980bb7a9b6b74cb018c (diff) | |
Spring cleaning
Nothing major...
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 134396285..c4291c9ac 100644 --- a/index.html +++ b/index.html @@ -26,7 +26,7 @@ document.write('<div style="text-align: right"> <form onsubmit="return sitesear <img id=gflogo class=grow src="doc/Logos/gf0.png" alt=""> <script> if(document.implementation.hasFeature("http://www.w3.org/TR/SVG11/feature#BasicStructure", "1.1")) - document.getElementById("gflogo").src="doc/Logos/gf0.svg" + document.getElementById("gflogo").src="doc/Logos/gf1.svg" </script> <H1>Grammatical Framework</H1> <P> |