diff options
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 8682d8f4a..ea685fb80 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -16,6 +16,7 @@ var my_options= { show_grouped_translations: false } </script> +<meta name = "viewport" content = "width = device-width"> </head> <body onload="start_minibar(my_options)"> @@ -30,7 +31,7 @@ var my_options= { & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Wed May 26 14:08:57 CEST 2010 <!-- hhmts end --> +HTML <!-- hhmts start --> Last modified: Wed May 26 22:35:48 CEST 2010 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> |