Skip to content

doc: mention deprecations script - #831

Closed
JadAbouHawili wants to merge 1 commit into
leanprover-community:lean4from
JadAbouHawili:lean4
Closed

doc: mention deprecations script#831
JadAbouHawili wants to merge 1 commit into
leanprover-community:lean4from
JadAbouHawili:lean4

doc: mention deprecations script

7e28744
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.