Rename RTDs #246

Merged
meierj merged 3 commits from mueller/rename-rtds into develop 2022-05-05 17:13:11 +02:00
Showing only changes of commit cc662738f2 - Show all commits

View File

@ -10,6 +10,12 @@ list yields a list of all related PRs for each release.
# [unreleased]
# [v1.12.0]
## Changed
- Better RTD names denoting their purpose (and location consequently)
# [v1.11.0]
## Fixed