Skip to content

Commit 3457c10

Browse files
grunweggrunweg
committed
chore: fix formatting of one copyright header (#31253)
1 parent 9217ddd commit 3457c10

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎Mathlib/GroupTheory/GroupAction/Jordan.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2025. Antoine Chambert-Loir. All rights reserved.
2+
Copyright (c) 2025 Antoine Chambert-Loir. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Antoine Chambert-Loir
55
-/

0 commit comments

Comments
 (0)