Syntax
#(tint.delete-directory,%directory)
%directory is the name of the directory to be deleted; it must be empty.
| Tintware Documentation : Tint Programming Language : Tint Reference : File Primitives : tint.delete-directorySyntax#(tint.delete-directory,%directory) %directory is the name of the directory to be deleted; it must be empty. |