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
EIVE/eive-obsw/pipeline/head Build started... Details
957c8f5298
bump submodules
EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details
EIVE/eive-obsw/pipeline/head This commit looks good Details
cc662738f2
update changelog
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.