Skip to content

Rename docs files from rst to md#1108

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

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

Conversation

@mvorisek
Copy link
Copy Markdown
Member

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

@mvorisek mvorisek merged commit 6209be2 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