Repository navigation

Drop lake-packages from the README Lean stop list - #282

Merged

Deicyde merged 1 commit into

mainfrom

docs/drop-lake-packages-from-stop-list

Oct 13, 2026

Merged

Drop lake-packages from the README Lean stop list#282
Deicyde merged 1 commit into
mainfrom
docs/drop-lake-packages-from-stop-list

Commits on Oct 13, 2026
- Drop lake-packages from the README Lean stop list
  Deicyde
  committed
  31c7c56