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.
New issue
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
Support display of higher-level ns #876
Support display of higher-level ns #876
Changes from 8 commits
c761da9
7b738d1
4f9a3f8
4c7d5ca
1e56f80
87ac9e8
819f249
e96b4f2
7b70e3f
4ac4f18
a8dcf58
22b3e8e
1f7c316
b6a70ba
1ff6da5
4f4aa19
5823152
280bd86
4942bd9
013871c
4ae186c
ea1f450
404a4fe
f7c5b84
7ba7f96
516563e
0585e3e
1b89b96
6729343
b49e1ad
0329d10
65938dc
75310ca
4020067
cb84865
66482c3
98e37f3
b96ec34
0fd1ec5
99dbd7f
ea09b2e
2254a04
aa90185
7080e87
bb853f8
c8817d2
8ba5023
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing