]> gitweb.factorcode.org Git - factor.git/commit
tools.completion: minor fix to complete against file-name, not full-path.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Oct 2012 02:17:52 +0000 (19:17 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Oct 2012 02:17:52 +0000 (19:17 -0700)
commitdaa7bf3d22d09f6a36e1dcda432014df8fff9e0c
tree87b62da3d8639e589b1ca2c8f5194123a8faee6f
parentca9137767b95fed6feedf3208ffb0bb7f74a359d
tools.completion: minor fix to complete against file-name, not full-path.
basis/tools/completion/completion.factor