doc/stdenv/meta.chapter.md: explain difference between broken and badPlatforms#225272
Merged
4 commits merged intomasterfrom unknown repositoryApr 24, 2023
+20-1
Commits
Commits on Apr 11, 2023
- committedAdam Joseph
Commits on Apr 24, 2023
- committedAdam Joseph