RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit Code Review ead6e30e0e Update patch set 1 ... Change has been successfully merged into the git repository by Jenkins Patch-set: 1 Status: merged		2017-06-12 01:52:37 +00:00