From 8d6a569fa731e6c3e7f26357345efa9aca166135 Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Mon, 15 May 2023 17:42:02 -0600
Subject: [PATCH] Fix name of Fraleigh chapter.

---
 Bookshelf/Fraleigh.lean                              | 2 +-
 Bookshelf/Fraleigh/{Chapter1.lean => Chapter_1.lean} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Bookshelf/Fraleigh/{Chapter1.lean => Chapter_1.lean} (100%)

diff --git a/Bookshelf/Fraleigh.lean b/Bookshelf/Fraleigh.lean
index 2e0798a..b03ab15 100644
--- a/Bookshelf/Fraleigh.lean
+++ b/Bookshelf/Fraleigh.lean
@@ -1 +1 @@
-import Bookshelf.Fraleigh.Chapter1
\ No newline at end of file
+import Bookshelf.Fraleigh.Chapter_1
diff --git a/Bookshelf/Fraleigh/Chapter1.lean b/Bookshelf/Fraleigh/Chapter_1.lean
similarity index 100%
rename from Bookshelf/Fraleigh/Chapter1.lean
rename to Bookshelf/Fraleigh/Chapter_1.lean