rtd command to rewrite config #125

Merged

muellerr merged 2 commits from meier/rtd into main 2023-01-19 16:49:24 +01:00

Conversation 1 Commits 2 Files Changed 1 +10 -4

2 Commits

Author	SHA1	Message	Date
Robin Müller	485f0015d7	Merge branch 'main' into meier/rtd	2023-01-19 16:49:08 +01:00
Jakob Meier	887312371b	rtd command to rewrite config	2023-01-19 13:21:12 +01:00