directory /hgext/highlight/ @ 13234:0935ff767285

name size permissions
[up] drwxr-xr-x
file __init__.py 2406 -rw-r--r--
file highlight.py 2133 -rw-r--r--