diff doc/docbook/GuideOptionsKeyboard.xml @ 1773:2ae81598b254

scripts for converting wiki documentation to docbook
author nadvornik
date Sun, 22 Nov 2009 09:12:22 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/docbook/GuideOptionsKeyboard.xml	Sun Nov 22 09:12:22 2009 +0000
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="utf-8"?>
+<section id="GuideOptionsKeyboard">
+    <title>
+      Keyboard Options
+    </title>
+    <para>
+      This section describes the hotkey configuration dialog.
+    </para>
+  <para/></section>