Doc: remove non-existing command

There is no Push command in the CVS plugin.

Change-Id: Id1dfcbc524db943a811461d29ac25070ba9d5e49
Reviewed-by: Tobias Hunger <tobias.hunger@nokia.com>
This commit is contained in:
Leena Miettinen
2012-08-17 13:01:57 +02:00
parent d6e85d5522
commit e666f88700

View File

@@ -317,9 +317,6 @@
\row
\o \gui{Edit}
\o Open a file for editing.
\row
\o \gui{Push}
\o Push changes to the remote repository.
\row
\o \gui{Unedit}
\o Discard the changes that you made in a file.