]> gitweb.factorcode.org Git - factor.git/commit
shell: fix rename of glob-directory to glob.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 7 Apr 2016 00:01:40 +0000 (17:01 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 7 Apr 2016 00:02:03 +0000 (17:02 -0700)
commit0188a1a5107ad41afd3e8e88878448f4b8864705
treefd7f66665a63e9b22516699ca74293dce3417f9d
parent363e08b6a88d7afefd019e1ac86f99d7d9725f83
shell: fix rename of glob-directory to glob.
extra/shell/shell.factor