Mercurial > hg > Papers > 2013 > kono-prosym

directory /presen/ @ 12:5b51dffd2b19 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
file agda-prog.ind 13324 -rw-r--r--