Skip to content

Util: fix mkdir for trailing slashes#3514

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:mkdirOct 2, 2024

Commits

Commits on Oct 2, 2024