Mercurial > hg > Gears > GearsAgda

view work.agdai @ 805:28323f2e6dc4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
write depth
author mori
date Mon, 18 Dec 2023 18:58:21 +0900
parents dca93aef5e36
children
line wrap: on
line source

(binary:application/octet-stream)