Mercurial > hg > Gears > GearsAgda

directory / @ 141:4f6a660c14a1 stack-interface

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
dir. doc/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgignore 177 -rw-r--r--
file .hgtags 51 -rw-r--r--
file Dockerfile 501 -rw-r--r--