Skip to content

Rename docs files from rst to md#2083

Merged
mvorisek merged 3 commits intodevelopfrom
rename_rst_to_md
Jul 15, 2023
Merged

Rename docs files from rst to md#2083
mvorisek merged 3 commits intodevelopfrom
rename_rst_to_md

Conversation

@mvorisek
Copy link
Copy Markdown
Member

for #2080, rename in separate commit for better git tracking

@mvorisek mvorisek marked this pull request as ready for review July 15, 2023 09:58
@mvorisek mvorisek merged commit d8d8f88 into develop Jul 15, 2023
@mvorisek mvorisek deleted the rename_rst_to_md branch July 15, 2023 10:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant