Dirk Mueller ea7d4a5992 Switch over to oslosphinx
oslosphinx is the new name of oslo.sphinx

Closes-Bug: #1277168
Change-Id: Ib30a4a5eb3a86ad5c03324a59e1a8ee4d4897a70
2014-03-11 14:19:23 +01:00
..
2012-05-03 10:48:26 -07:00
2013-12-03 22:49:12 +08:00
2014-03-11 14:19:23 +01:00
2013-07-05 16:09:50 -04:00