diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html index c97d0373f..3d1ca1c9d 100644 --- a/index.html +++ b/index.html @@ -3,6 +3,7 @@ <HEAD> <TITLE>GF - Grammatical Framework</TITLE> <link rel=stylesheet href="css/style.css"> +<meta name = "viewport" content = "width = device-width"> <script type="text/javascript"> function sitesearch() { var q=document.forms[0].q.value; |
