diff options
Diffstat (limited to 'eclipse/index.html')
| -rw-r--r-- | eclipse/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index fb37736f2..f7f685d95 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -5,6 +5,7 @@ <link rel="stylesheet" type="text/css" href="http://www.grammaticalframework.org/css/style.css"> +<meta name = "viewport" content = "width = device-width"> </head> <body> |