Mercurial > hg > Gears > GearsAgda
directory /.git/ @ 794:2a07b50f4bc0
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
hooks/ | drwxr-xr-x | |
info/ | drwxr-xr-x | |
logs/ | drwxr-xr-x | |
objects/ | drwxr-xr-x | |
refs/ | drwxr-xr-x | |
COMMIT_EDITMSG | 4 | -rw-r--r-- |
FETCH_HEAD | 90 | -rw-r--r-- |
HEAD | 23 | -rw-r--r-- |
ORIG_HEAD | 41 | -rw-r--r-- |
config | 306 | -rw-r--r-- |
description | 73 | -rw-r--r-- |
index | 132809 | -rw-r--r-- |
packed-refs | 114 | -rw-r--r-- |