Skip to content

Rename docs files from rst to md#382

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

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

Conversation

@mvorisek
Copy link
Copy Markdown
Member

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

@mvorisek mvorisek marked this pull request as ready for review July 15, 2023 09:57
@mvorisek mvorisek merged commit c5de6f4 into develop Jul 15, 2023
@mvorisek mvorisek deleted the rename_rst_to_md branch July 15, 2023 10:00
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