]> gitweb.factorcode.org Git - factor.git/commit
combinators.extras: Fix 3tri*
authorGiftpflanze <gifti@tools.wmflabs.org>
Wed, 20 Mar 2024 11:07:32 +0000 (12:07 +0100)
committerGiftpflanze <gifti@tools.wmflabs.org>
Wed, 20 Mar 2024 11:07:32 +0000 (12:07 +0100)
commit09cf69717b81da3acea2c42d3de404aaafbcf8af
treefeb68d5ee0f117e48039c6ed8561254422fbd7b4
parent0e58395a97969c538bad7c4f838a16876398c6e2
combinators.extras: Fix 3tri*
extra/combinators/extras/extras.factor