Dirk Mueller 82ba4286e0 Switch over to oslosphinx ... oslosphinx is the new name of oslo.sphinx Closes-Bug: #1277168 Change-Id: Ibfb9e59fbb3ef51a821b4f412601e26cb7f703f4		2014-02-14 18:16:53 +01:00
..
source	Switch over to oslosphinx	2014-02-14 18:16:53 +01:00