From ac2ab4aaec41b23e7ce29e68a67053437c6b9b0d Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sun, 25 Jul 2010 16:05:33 +0200 Subject: Remove extra leading spaces in filename doc --- lib/stdlib/doc/src/filename.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/stdlib/doc/src/filename.xml b/lib/stdlib/doc/src/filename.xml index 0cf82fa48b..fe6c6f898e 100644 --- a/lib/stdlib/doc/src/filename.xml +++ b/lib/stdlib/doc/src/filename.xml @@ -49,7 +49,7 @@ DATA TYPES name() = string() | atom() | DeepList - DeepList = [char() | atom() | DeepList] +DeepList = [char() | atom() | DeepList] -- cgit v1.2.3