directory /Doc/extending/ @ 80272:ec00f8570c55

name size permissions
[up] drwxr-xr-x
file building.rst 5332 -rw-r--r--
file embedding.rst 12066 -rw-r--r--
file extending.rst 57166 -rw-r--r--
file index.rst 1270 -rw-r--r--
file newtypes.rst 56556 -rw-r--r--
file windows.rst 13540 -rw-r--r--