Skip to content

Commit 368559e

Browse files
kim-emkim-em
committed
merge main
1 parent 00b1d9d commit 368559e

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

‎lean-toolchain‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1 @@
1-
<<<<<<< HEAD
2-
leanprover/lean4:nightly-2025-01-05
3-
=======
41
leanprover/lean4:v4.18.0-rc1
5-
>>>>>>> origin/main

0 commit comments

Comments
 (0)