Rename RTDs #246

Merged
meierj merged 3 commits from mueller/rename-rtds into develop 2022-05-05 17:13:11 +02:00

3 Commits

Author SHA1 Message Date
Robin Müller cc662738f2
update changelog
EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details
EIVE/eive-obsw/pipeline/head This commit looks good Details
2022-05-05 16:55:51 +02:00
Robin Müller b426475ca4
better RTD names 2022-05-05 16:55:08 +02:00
Robin Müller 957c8f5298
bump submodules
EIVE/eive-obsw/pipeline/head Build started... Details
2022-05-05 16:50:16 +02:00