rtd command to rewrite config #125

Merged
muellerr merged 2 commits from meier/rtd into main 2023-01-19 16:49:24 +01:00
Owner
No description provided.
meierj added 1 commit 2023-01-19 16:46:39 +01:00
meierj requested review from muellerr 2023-01-19 16:46:57 +01:00
muellerr added 1 commit 2023-01-19 16:49:11 +01:00
muellerr approved these changes 2023-01-19 16:49:14 +01:00
muellerr merged commit f3c0b7567a into main 2023-01-19 16:49:24 +01:00
muellerr deleted branch meier/rtd 2023-01-19 16:49:27 +01:00
Sign in to join this conversation.
No description provided.