From 3412466fba24d27895abe37d629cd9a775087549 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Wed, 13 Dec 2023 18:15:30 +0100
Subject: [PATCH] fix: case-sensitive FS issue

---
 doc/UsersGuide/{Basic.Lean => Basic.lean} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/UsersGuide/{Basic.Lean => Basic.lean} (100%)

diff --git a/doc/UsersGuide/Basic.Lean b/doc/UsersGuide/Basic.lean
similarity index 100%
rename from doc/UsersGuide/Basic.Lean
rename to doc/UsersGuide/Basic.lean