Skip to content

Commit be7fde8

Browse files
VierkantorVierkantor
committed
Testing with no newlines
1 parent c27531c commit be7fde8

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.20362.0
2-
1+
leanprover/lean4:v4.18414.0

0 commit comments

Comments
 (0)