]> gitweb.factorcode.org Git - factor.git/commit
tools.completion: allow fuzzy vocab name in qualified-matching.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 18:24:04 +0000 (11:24 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 18:24:04 +0000 (11:24 -0700)
commitcc08ad38a4912844e191d60eca5232e5387f77ea
treeab0665ee8e257ceb82c9408103a58fd8d6a090ca
parent03e62f3bc5471dced0198af19afd78239f81d037
tools.completion: allow fuzzy vocab name in qualified-matching.
basis/tools/completion/completion.factor