]> gitweb.factorcode.org Git - factor.git/commit
Remove Unused Vocabs
authorCapitalEx <CapitalEx@protonmail.com>
Wed, 14 Dec 2022 03:38:08 +0000 (22:38 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Dec 2022 00:07:20 +0000 (16:07 -0800)
commit18307b7f6dcb51568373669fb4ec8a83681f169d
tree15e220915c95e30128c5146ff89f89d0fe1adca5
parentd317c332cd64f1aadd2727a4a2f88f6a8450901a
Remove Unused Vocabs
extra/lint/vocabs/vocabs.factor