]> gitweb.factorcode.org Git - factor.git/commit
Case insensitive globs for jEdit compatibility
authorSlava Pestov <slava@factorcode.org>
Sun, 2 Dec 2007 10:18:53 +0000 (05:18 -0500)
committerSlava Pestov <slava@factorcode.org>
Sun, 2 Dec 2007 10:18:53 +0000 (05:18 -0500)
commitca0df2cb46a52021b47307f01cadf23d29d32136
tree9feaa660539e60b03ec7b92d3a3ac0d354087f73
parent31102fc37c8e3e6bfabe2a526d0d25c05ead0e3a
Case insensitive globs for jEdit compatibility
extra/globs/globs.factor [changed mode: 0644->0755]