We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Headers are not provided in “directories” – instead, we introduce a common prefix for the new headers. Reword without reference to “directories”.
Reword without reference to “directories”.
The text was updated successfully, but these errors were encountered:
2017-02-28 LEWG triage: Determined to be editorial.
Sorry, something went wrong.
99da781
No branches or pull requests
Editorial Comment
Headers are not provided in “directories” – instead, we introduce a common prefix for the new headers. Reword without reference to “directories”.
Proposed Change
Reword without reference to “directories”.
The text was updated successfully, but these errors were encountered: