Package: grdesktop / 0.23+d040330-3

04_typos.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
--- ../orig/grdesktop-0.23+d040330/doc/grdesktop.1	2004-03-30 16:04:41.000000000 +0200
+++ ./doc/grdesktop.1	2011-08-29 21:00:49.000000000 +0200
@@ -61,11 +61,11 @@
 .PP 
 grdesktop is a GNOME frontend for the remote desktop client (rdesktop). 
 .PP 
-It can save several connections (including there options), 
+It can save several connections (including their options), 
 and browse the network for available terminal servers. 
 .SH "OPTIONS" 
 .PP 
-grdesktop support the default GNOME and XFree86 command 
+grdesktop supports the default GNOME and XFree86 command 
 line options. 
 .SH "SEE ALSO" 
 .PP