[gnome-user-docs] keyboard-shortcuts-set: add credits

[Juan Jose Marin Martinez <jjmarin src gnome org>]

commit 05c2c16be09e8582533fd8589f162be092c36e8d
Author: Juanjo Marín <juanj marin juntadeandalucia es>
Date:   Sat Mar 23 23:49:00 2013 +0100

    keyboard-shortcuts-set: add credits

 gnome-help/C/keyboard-shortcuts-set.page |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gnome-help/C/keyboard-shortcuts-set.page b/gnome-help/C/keyboard-shortcuts-set.page
index 4f3770e..694c0d7 100644
--- a/gnome-help/C/keyboard-shortcuts-set.page
+++ b/gnome-help/C/keyboard-shortcuts-set.page
@@ -16,6 +16,10 @@
        <name>Julita Inca</name>
        <email>yrazes gmail com</email>
     </credit>
+    <credit type="editor">
+      <name>Juanjo Marín</name>
+      <email>juanj marin juntadeandalucia es</email>
+    </credit>
     <desc>Define or change keyboard shortcuts in <gui>Keyboard</gui> settings.</desc>
   </info>