]> gitweb.factorcode.org Git - factor.git/history - basis/ntp
sequences.deep: deep-subseq? -> deep-subsequence?
[factor.git] / basis / ntp /
2022-01-20 Doug Colemanfactor: trim more using lists.
2021-03-17 John Benediktssonextra: move dns, ntp to basis.