remove trailing newlines

anshwad10 · web-flow · commit f35dca382071 · 2025-03-02T22:35:04.000+05:30
diff --git a/Cubical/Categories/Dagger/Properties.agda b/Cubical/Categories/Dagger/Properties.agda
@@ -181,5 +181,3 @@ module _ (CDagCat : DagCat ℓ ℓ') where
         †IsoToPath id†Iso            ≡⟨ †IsoToPath-id ⟩
         refl                         ∎
       )
-
-

Original file line number	Diff line number	Diff line change
`@@ -181,5 +181,3 @@ module _ (CDagCat : DagCat ℓ ℓ') where`
`181`	`181`	`†IsoToPath id†Iso ≡⟨ †IsoToPath-id ⟩`
`182`	`182`	`refl ∎`
`183`	`183`	`)`
`184`		`-`
`185`		`-`