tidy newlines

leanprover-community · Jul 14, 2024 · 173b37b · 173b37b
1 parent d12d4c8
commit 173b37b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Qq/Delab.lean b/Qq/Delab.lean
@@ -2,7 +2,9 @@ import Qq.Macro
 /-!
 # Delaborators for `q()` and `Q()` notation
 -/
+
 open Qq Lean Elab PrettyPrinter.Delaborator SubExpr Meta Impl Std
+
 namespace Qq
 
 namespace Impl