Skip to content

Update List.lean, typo

f0969bf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

style: typo #727

Update List.lean, typo
f0969bf
Select commit
Loading
Failed to load commit list.