]> gitweb.factorcode.org Git - factor.git/commit
match: rename ?1-tail to ?rest.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 30 Nov 2014 01:10:54 +0000 (17:10 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 30 Nov 2014 01:10:54 +0000 (17:10 -0800)
commit76da2a6e786348aca9afa7952cf7f407d6042101
tree249cd4f835ace1405aaec4e3c9e43841843d98dc
parentc0d6fdedd1982209d699515aa5484b91f2aa6e31
match: rename ?1-tail to ?rest.
basis/match/match.factor