From c23fb1f199cbb132b4d58dcdfeb3a13cd588e17f Mon Sep 17 00:00:00 2001 From: Miguel de Benito Date: Sun, 6 Apr 2014 07:33:25 +0000 Subject: [PATCH] Doc: Typo --- main/config/man-advanced-preferences.en.tm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main/config/man-advanced-preferences.en.tm b/main/config/man-advanced-preferences.en.tm index 9cc3ad4..4b8d33d 100644 --- a/main/config/man-advanced-preferences.en.tm +++ b/main/config/man-advanced-preferences.en.tm @@ -1,4 +1,4 @@ - + @@ -8,7 +8,7 @@ In addition to the , where most of the important customization may be made, there are some other user preferences available. These are either too ``fine-grained'' to be added to - the main dialog or simply unsupported and therefore the are only made + the main dialog or simply unsupported and therefore they are only made accessible through the procedures and as explained in procedures for user preferences|../../devel/scheme/utils/utils-preferences.en.tm>. These are