Skip to content

Use the CI badge for the main branch, fix typo#17

Merged
JosephusPaye merged 1 commit intomainfrom paye/documentation_fixFeb 14, 2022

Commits

Commits on Feb 14, 2022