]> gitweb.factorcode.org Git - factor.git/commit
ui.tools: setting current directory to "resource:"
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Feb 2022 21:46:58 +0000 (13:46 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Feb 2022 21:51:50 +0000 (13:51 -0800)
commit774c1bfc4e98ee958ed9f9c39ae0cdc029db283b
tree75eeb30ad60fc1dddd5d935f89768f5dc5231e90
parent7925fc7a47089bdd1176ec48da63778cf3581dae
ui.tools: setting current directory to "resource:"
basis/ui/tools/tools.factor