remove newline above copyright header

datokrat · datokrat · commit a944207410c4 · 2025-05-23T16:32:55.000+02:00
diff --git a/src/Std/Data/Iterators/Lemmas/Combinators/Monadic/Drop.lean b/src/Std/Data/Iterators/Lemmas/Combinators/Monadic/Drop.lean
@@ -1,4 +1,3 @@
-
 /-
 Copyright (c) 2025 Lean FRO, LLC. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-`
`2`	`1`	`/-`
`3`	`2`	`Copyright (c) 2025 Lean FRO, LLC. All rights reserved.`
`4`	`3`	`Released under Apache 2.0 license as described in the file LICENSE.`