Changed Hello World key to Shift-F11.

2009-06-23 12:38:28 -04:00 · 2009-06-23 12:38:28 -04:00 · a44de580e3
parent c3a4585cf4
commit a44de580e3
2 changed files with 2 additions and 2 deletions
--- a/extensions/dk-hello-world/hello-world.conf
+++ b/extensions/dk-hello-world/hello-world.conf
@ -1 +1 @@
-key f24   hello_world
+key f23   hello_world
--- a/extensions/dk-hello-world/info.yaml
+++ b/extensions/dk-hello-world/info.yaml
@ -16,4 +16,4 @@ diakonos:
 notes: >
    This extension adds a hello_world function to Diakonos.

-    Pressing Shift-F12 will activate the function.
+    Pressing Shift-F11 will activate the function.