]> gitweb.factorcode.org Git - factor.git/commit
vocabs: use valid-vocab-name? to filter disk vocabs
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 9 Jan 2024 17:17:18 +0000 (09:17 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 9 Jan 2024 17:17:18 +0000 (09:17 -0800)
commit21cdff9e7156a9e4e1e93774fad09df2335c036e
treee4dc88e595589e0ca92c351bc780a9efcd582b5d
parentaf8e25b9e821067a02a9c6e551ce01363e67110f
vocabs: use valid-vocab-name? to filter disk vocabs
basis/vocabs/hierarchy/hierarchy.factor
core/vocabs/vocabs.factor