directory /lang/pypy3/misc/ @ 210:4d32b8e4faa7 default tip

name size permissions
[up] drwxr-xr-x
file augment_plist.py 1140 -rw-r--r--