Skip to content

doc/stdenv/meta.chapter.md: explain difference between broken and badPlatforms#225272

Merged
4 commits merged intomasterfrom unknown repositoryApr 24, 2023

Commits

Commits on Apr 11, 2023

Commits on Apr 24, 2023