Remove blank line I accidently added when resolving merge conflict

idris-lang · Feb 9, 2025 · 65291c9 · 65291c9
1 parent 8d5607c
commit 65291c9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Core/Binary.idr b/src/Core/Binary.idr
@@ -31,7 +31,6 @@ export
 ttcVersion : Int
 ttcVersion = 2025_02_09_00
 
-
 export
 checkTTCVersion : String -> Int -> Int -> Core ()
 checkTTCVersion file ver exp