]> gitweb.factorcode.org Git - factor.git/commit
proquint: fix using
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 19:38:23 +0000 (11:38 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 19:38:23 +0000 (11:38 -0800)
commit85f65510b51f1b42a1e2fdeeac84c912d910ce6b
treee3063153f6fcc7261afe7f9680cb32937de84da6
parent85393fd19b6abc63c1cfe39f73e36af080e01eb3
proquint: fix using
extra/proquint/proquint.factor