]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener.log: move to extra/
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 30 Jul 2023 20:37:16 +0000 (13:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 30 Jul 2023 20:37:16 +0000 (13:37 -0700)
commit54bd65ed281fd8f481f4638fcade64843e103eaa
tree6bc21e2fc14a390fc6a1c18d38859f244d1d6b00
parent25f3a6b6082f69847bf4c3f2ffb24a390bb2235a
ui.tools.listener.log: move to extra/
basis/ui/tools/listener/log/authors.txt [deleted file]
basis/ui/tools/listener/log/log.factor [deleted file]
extra/ui/tools/listener/log/authors.txt [new file with mode: 0644]
extra/ui/tools/listener/log/log.factor [new file with mode: 0644]