From 30eace4cf1cf25403e01860b0707f493683da56e Mon Sep 17 00:00:00 2001
From: Martin Nilsson <mani@lysator.liu.se>
Date: Thu, 17 Feb 2000 19:07:15 +0100
Subject: [PATCH] Some sort of documentation of String.trim_whites and
 String.trim_all_whites.

Rev: tutorial/tutorial.wmml:1.186
---
 tutorial/tutorial.wmml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/tutorial/tutorial.wmml b/tutorial/tutorial.wmml
index 5586c5bfd9..93f5a62ed6 100644
--- a/tutorial/tutorial.wmml
+++ b/tutorial/tutorial.wmml
@@ -6137,6 +6137,26 @@ Returns the width in bits (8, 16 or 32) of the widest character in <i>s</i>.
 
 
 
+<function name=String.trim_whites title="trim spaces and tabs from a string">
+<man_syntax>
+string trim_whites(string s);
+</man_syntax>
+<man_description>
+Trim leading and trailing spaces and tabs from the string <i>s</i>.
+</man_description>
+
+
+
+<function name=String.trim_all_whites title="trim all white spaces from a string">
+<man_syntax>
+string trim_all_whites(string s);
+</man_syntax>
+<man_description>
+Trim leading and trailing white space characters (" \t\r\n") from the string <i>s</i>.
+</man_description>
+
+
+
 </module>
 </section>
 
-- 
GitLab