Code

typo in mkdocs.yaml#139

Code

Merged

emilyriehl merged 1 commit intorzk-lang:mainrzk-lang/sHoTT:mainfrom TashiWalde:mkdocs-typoTashiWalde/sHoTT:mkdocs-typoCopy head branch name to clipboardNov 13, 2023

+1-1

Commits

Commits on Nov 11, 2023

• typo in mkdocs.yaml

  

  Tashi Walde

  authored and

  Tashi Walde

  committed
  0d4f457