Rename RTDs #246

Merged

meierj merged 3 commits from mueller/rename-rtds into develop

2022-05-05 17:13:11 +02:00

Author	SHA1	Message	Date
Robin Mueller	cc662738f2	update changelog All checks were successful 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 Mueller	b426475ca4	better RTD names	2022-05-05 16:55:08 +02:00
Robin Mueller	957c8f5298	bump submodules Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details	2022-05-05 16:50:16 +02:00