Code

fix: Filenames of assets#21

Code

Merged

fabiomadge merged 2 commits intodafny-lang:maindafny-lang/blog:mainfrom Dargones:CaseSensitiveRenamingDargones/blog:CaseSensitiveRenamingCopy head branch name to clipboardDec 8, 2023

Commits

Commits on Dec 8, 2023

• temporary name change

  

  Aleksandr Fedchin

  committed
  8788abe

  Copy full SHA for 8788abe

• Rename to lowercase

  

  Aleksandr Fedchin

  committed
  60c2ef6

  Copy full SHA for 60c2ef6