tree 05de1f71b77616d7335823daaac877528de818f9
parent 209827826bae3174de748f7f3ebf891c7981c4ab
author Dirk Mueller <dirk@dmllr.de> 1392298074 +0100
committer Dirk Mueller <dirk@dmllr.de> 1392398213 +0100

Switch over to oslosphinx

oslosphinx is the new name of oslo.sphinx

Closes-Bug: #1277168
Change-Id: Ibfb9e59fbb3ef51a821b4f412601e26cb7f703f4