directory /hgext/highlight/ @ 8076:5ec526c1a32f

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