fix link to platforms.nix #31217
Merged
fix link to platforms.nix #31217
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
@c0bw3b could you please check if the link points to correct document? Thanks! |
|
Yes the link to But actually that file is not really helpful if one wants to know what platforms attributes are available. I find |
|
A nice improvement, doubles might be better. If there is a PR for that change, it'll likely merge too :) |
8 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation for this change
Fix broken link in documentation. I am not 100% sure if the file was moved or it's purpose changed.
I hope the issues will be fixed faster if I create PR than if I open issue.