directory /hgext/highlight/ @ 52152:de4b9ea2fa34 default tip

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