directory /docs/licenses/pygments/ @ 6133:a6283e189869 tip

name size permissions
[up] drwxr-xr-x
file AUTHORS 766 -rw-r--r--
file LICENSE 1548 -rw-r--r--