]> gitweb.factorcode.org Git - factor.git/commit
ui.tools: merge mac and other config.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 30 Mar 2021 19:23:46 +0000 (12:23 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 30 Mar 2021 19:23:46 +0000 (12:23 -0700)
commit992c080a85b0a47ad48e1df7090261ce6a4bcd8a
tree19fedf3b2a737021d04cd7050e20090f3f5127b6
parenta4aaac4f4c293fcd08b5ef35821fe88fd370597a
ui.tools: merge mac and other config.
basis/ui/tools/tools.factor