RETIRED, Theme and utilities for Sphinx documentation tool

Gerrit User 17068 a79fa2aa57 Update patch set 2 ... Patch Set 2: Code-Review+1 Patch-set: 2 Reviewer: Gerrit User 17068 <17068@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: Code-Review=+1		2019-04-04 11:35:59 +00:00