Rename RTDs #246

Merged
meierj merged 3 commits from mueller/rename-rtds into develop 2022-05-05 17:13:11 +02:00
Owner
  • Better RTD names denoting their purpose (and location consequently)
- Better RTD names denoting their purpose (and location consequently)
muellerr added 3 commits 2022-05-05 16:56:23 +02:00
bump submodules
Some checks are pending
EIVE/eive-obsw/pipeline/head Build started...
957c8f5298
update changelog
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
EIVE/eive-obsw/pipeline/head This commit looks good
cc662738f2
muellerr requested review from meierj 2022-05-05 16:56:41 +02:00
muellerr added this to the v1.12.0 milestone 2022-05-05 16:56:43 +02:00
meierj approved these changes 2022-05-05 17:13:05 +02:00
meierj merged commit a3419412cc into develop 2022-05-05 17:13:11 +02:00
muellerr deleted branch mueller/rename-rtds 2022-05-05 19:40:19 +02:00
Sign in to join this conversation.
No description provided.