]> gitweb.factorcode.org Git - factor.git/commit
sequences.extras: rename push? to maybe-push
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 20 Feb 2023 02:05:32 +0000 (20:05 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 26 Feb 2023 23:11:04 +0000 (17:11 -0600)
commitfa9c4b39a006a91857c1cb16b1bb233a27ac351c
treed919845664034bf6f5ef065c3585ade364cdd07f
parentd9b8b1f460621b31b7ed78ea1106fb7821082724
sequences.extras: rename push? to maybe-push
extra/sequences/extras/extras.factor