projects / arvados.git / blobdiff
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Merge branch '18947-githttpd'
[arvados.git] / apps / workbench / public / webshell / keyboard.html
diff --git a/apps/workbench/public/webshell/keyboard.html b/apps/workbench/public/webshell/keyboard.html
index 6a95f3b093532e8db5773c21337e6979dba3698d..271c3f70410a931daabbef7aae4ae9a5e194b6b2 100644 (file)
--- a/apps/workbench/public/webshell/keyboard.html
+++ b/apps/workbench/public/webshell/keyboard.html
@@ -2,6 +2,7 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:v="urn:schemas-microsoft-com:vml" xml:lang="en" lang="en">
 <head>
+  <title>webshell keyboard</title>
 </head>
 <body><pre class="box"><div
   ><i id="27">Esc</i><i id="112">F1</i><i id="113">F2</i><i id="114">F3</i