directory /doc/scripts/ @ 1531:88f361283a19 tip

name size permissions
[up] drwxr-xr-x
file docgen.py 2966 -rw-r--r--