Merge "updating the so repos for docs"
[doc.git] / docs / submodules / so /
drwxr-xr-x   ..
m--------- - libs.git