fix: case-sensitive FS issue

leanprover · Dec 13, 2023 · 3412466 · 3412466
1 parent 10d90af
commit 3412466
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/UsersGuide/Basic.Lean → doc/UsersGuide/Basic.lean b/doc/UsersGuide/Basic.Lean → doc/UsersGuide/Basic.lean