Skip to content

Commit e38b53f

Browse files
VierkantorVierkantor
committed
Testing with no newlines
1 parent 1eef1a6 commit e38b53f

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

‎lean-toolchain‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
1-
leanprover/lean4:v4.31101.0
2-
1+
leanprover/lean4:v4.22974.0

0 commit comments

Comments
 (0)