]> gitweb.factorcode.org Git - factor.git/commit
did-you-mean: tweak the restarts
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 26 Jan 2022 02:55:46 +0000 (18:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 26 Jan 2022 02:56:06 +0000 (18:56 -0800)
commit92f8f6446a9c70af2353e64d3e077e6ac8109208
tree9930482840f140ad545d2f844466963d18a62dfb
parentf4d8da154939384e3b3e7bf17c7dd9997340eb47
did-you-mean: tweak the restarts
extra/did-you-mean/did-you-mean.factor