Mercurial > hg > Members > soto > while_test

log gearswhilehoare.agda @ 0:f5705a66e9ea default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Tue, 13 Oct 2020 18:01:42 +0900 soto (none) default tip
less more | (0) tip