Skip to content

Commit a13df08

Browse files
nomeatanomeata
committed
Undo toolchain change
1 parent c78689d commit a13df08

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎src/lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
lean4
1+
lean4-stage0

0 commit comments

Comments
 (0)