directory /Doc/extending/ @ 70817:dd775b1561ba

name size permissions
[up] drwxr-xr-x
file building.rst 5332 -rw-r--r--
file embedding.rst 11318 -rw-r--r--
file extending.rst 57157 -rw-r--r--
file index.rst 1306 -rw-r--r--
file newtypes.rst 57266 -rw-r--r--
file windows.rst 13540 -rw-r--r--