Mercurial > hg > Gears > GearsAgda
directory /.git/ @ 783:dca93aef5e36
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
5 | -rw-r--r-- |
![]() |
90 | -rw-r--r-- |
![]() |
23 | -rw-r--r-- |
![]() |
41 | -rw-r--r-- |
![]() |
306 | -rw-r--r-- |
![]() |
73 | -rw-r--r-- |
![]() |
40094 | -rw-r--r-- |
![]() |
114 | -rw-r--r-- |