]> gitweb.factorcode.org Git - factor.git/commit
tools.completion: merge qualified and unqualified word completions.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 18:30:43 +0000 (11:30 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 18:30:43 +0000 (11:30 -0700)
commitc200cfb8ca03be24c6848288e0280bd0e8d10567
tree5507a3023ced0de01d18f28f1aefb49dbbcaff80
parentcc08ad38a4912844e191d60eca5232e5387f77ea
tools.completion: merge qualified and unqualified word completions.
basis/tools/completion/completion.factor