]> gitweb.factorcode.org Git - factor.git/commit
peg.search: rename search/replace to peg-search/peg-replace
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 13 Sep 2023 18:50:11 +0000 (11:50 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 13 Sep 2023 18:50:11 +0000 (11:50 -0700)
commitf413a5b5ec01f0ec30da4037a770950af9327341
tree43174ca37c5f6d4490d14b2f360f33d7017b0649
parent0cb22f8d5cd39d4489a287daf12b78bac72f06e1
peg.search: rename search/replace to peg-search/peg-replace
basis/peg/ebnf/ebnf.factor
basis/peg/parsers/parsers.factor
basis/peg/search/search-docs.factor
basis/peg/search/search.factor