]> gitweb.factorcode.org Git - factor.git/commitdiff
extra: use push-at-each
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 8 Aug 2022 04:08:26 +0000 (23:08 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 8 Aug 2022 06:29:47 +0000 (01:29 -0500)

No differences found