Mercurial > hg > Gears > GearsAgda

directory /.git/objects/d5/ @ 956:bfc7007177d0 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
file 29e0f43ec0f4b44a2fb186f40ef651384d2774 15653 -rw-r--r--
file 961e3578316bc84ecccbce9b9d421c9b1abb39 759 -rw-r--r--