[gnome-devel-docs] HIG - remove menu items for file versioning

[Allan Day <allanday src gnome org>]

commit 1de6c97d543e4953f3ce7b4ec05ef62fb0a5f358
Author: Allan Day <allanpday gmail com>
Date:   Mon Sep 29 16:43:34 2014 +0100

    HIG - remove menu items for file versioning
    
    They are not really used, and don't exactly represent The Future.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=737600

 hig/C/keyboard-input.page |   15 ---------------
 1 files changed, 0 insertions(+), 15 deletions(-)
---
diff --git a/hig/C/keyboard-input.page b/hig/C/keyboard-input.page
index ba0a130..b3a0c57 100644
--- a/hig/C/keyboard-input.page
+++ b/hig/C/keyboard-input.page
@@ -312,21 +312,6 @@ Do not assign system-level shortcut keys. These use the Super key (sometimes kno
 <p>Like the <gui>Save As</gui> dialog, the <gui>Save a Copy</gui> dialog may present different ways to save 
the data. For example, an image may be saved in a native format or as a PNG.</p></td>
 </tr>
 <tr>
-<td><p><gui>Save Version</gui></p></td>
-<td><p>None</p></td>
-<td><p>An alternative to the <gui>Save a Copy</gui> command. Only use this item in conjunction with the 
<gui>Restore Version</gui> command.</p></td>
-</tr>
-<tr>
-<td><p><gui>Restore Version…</gui></p></td>
-<td><p>None</p></td>
-<td><p>Prompts the user for a version of the current document to be restored. Present the user with with a 
warning that all changes will be lost, and offer the option of cancelling before restoring the version. Only 
use this item in conjunction with the <gui>Save Version</gui> command.</p></td>
-</tr>
-<tr>
-<td><p><gui>Versions…</gui></p></td>
-<td><p>None</p></td>
-<td><p>An alternative to the <gui>Save Version</gui> and <gui>Restore Version</gui> commands. Use this when 
more utilities, such as a diff, are available.</p></td>
-</tr>
-<tr>
 <td><p><gui>Page Setup</gui></p></td>
 <td><p>None</p></td>
 <td><p>Allows the user to control print-related settings. Present the user with a dialog allowing the user 
to set such options as portrait or landscape format, margins, and so on.</p></td>