]> gitweb.factorcode.org Git - factor.git/commit
editors: only supported-platforms are available-editors
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 01:28:36 +0000 (17:28 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 01:28:36 +0000 (17:28 -0800)
commit967e8f696f90926c84f4eae53e599ee69738b062
tree16cc9786cda0fbaba0f1ff4a383bf6bb7a7b15fc
parent7d0f7a491f09ef7cf9feec14e27cbf7e9845ddf1
editors: only supported-platforms are available-editors
basis/editors/editors.factor