]> gitweb.factorcode.org Git - factor.git/commit
io.directories: add ?delete-path which doesn't care if path exists
authorDoug Coleman <doug.coleman@gmail.com>
Fri, 13 Jan 2023 19:55:39 +0000 (13:55 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Fri, 13 Jan 2023 20:22:28 +0000 (14:22 -0600)
commit37f0e06ec85304f50d0547296076279934f79868
tree83fb9a483a18dff9a76b67f18db29ca742b0ea1b
parent4c435c71b5c81a803f1a960f7c16bb632064b263
io.directories: add ?delete-path which doesn't care if path exists
basis/io/directories/directories.factor