fix end newlines in repo

Signed-off-by: Ali Caglayan <alizter@gmail.com>
HoTT · Mar 6, 2024 · 44e3087 · 44e3087
1 parent 7e5411d
commit 44e3087
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -99,4 +99,4 @@ More information can be found in the [Wiki][22].
 [20]: https://code.visualstudio.com/
 [21]: https://github.com/coq-community/vscoq
 
-[22]: https://github.com/HoTT/HoTT/wiki
+[22]: https://github.com/HoTT/HoTT/wiki
diff --git a/theories/Cubical.v b/theories/Cubical.v
@@ -2,4 +2,4 @@ Require Export Cubical.DPath.
 Require Export Cubical.PathSquare.
 Require Export Cubical.DPathSquare.
 Require Export Cubical.PathCube.
-Require Export Cubical.DPathCube.
+Require Export Cubical.DPathCube.
diff --git a/theories/Diagrams/ParallelPair.v b/theories/Diagrams/ParallelPair.v
@@ -32,4 +32,4 @@ Proof.
   srapply Build_Cocone.
   1: intros []; [exact (q o f) | exact q].
   intros [] [] []; [reflexivity | exact Hq].
-Defined.
+Defined.
diff --git a/theories/Diagrams/Span.v b/theories/Diagrams/Span.v
@@ -33,4 +33,4 @@ Section Span.
       + exact g.
   Defined.
 
-End Span.
+End Span.
diff --git a/theories/Spaces/Int.v b/theories/Spaces/Int.v
@@ -1,4 +1,4 @@
 Require Export HoTT.Spaces.Int.Core.
 Require Export HoTT.Spaces.Int.Spec.
 Require Export HoTT.Spaces.Int.Equiv.
-Require Export HoTT.Spaces.Int.LoopExp.
+Require Export HoTT.Spaces.Int.LoopExp.
diff --git a/theories/Spaces/Pos.v b/theories/Spaces/Pos.v
@@ -1,2 +1,2 @@
 Require Export HoTT.Spaces.Pos.Core.
-Require Export HoTT.Spaces.Pos.Spec.
+Require Export HoTT.Spaces.Pos.Spec.