steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

io.directories-docs: remove an extra character

factor-shell
Alexander Iljin 2017-11-16 08:59:28 +01:00 committed by John Benediktsson
parent ef0bf15eb4
commit 74de0033b2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/io/directories/directories-docs.factor
View File

@ -47,7 +47,7 @@ HELP: directory-entries
HELP: qualified-directory-entries HELP: qualified-directory-entries
{ $values { "path" "a pathname string" } { "seq" "a sequence of " { $link directory-entry } " objects" } } { $values { "path" "a pathname string" } { "seq" "a sequence of " { $link directory-entry } " objects" } }
{ $description "Outputs the contents of a directory named by " { $snippet "path" } ". using absolute file paths." } ; { $description "Outputs the contents of a directory named by " { $snippet "path" } " using absolute file paths." } ;
HELP: directory-files HELP: directory-files
{ $values { "path" "a pathname string" } { "seq" "a sequence of filenames" } } { $values { "path" "a pathname string" } { "seq" "a sequence of filenames" } }