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
Print comments when pretty printing concrete syntax #1737
Print comments when pretty printing concrete syntax #1737
Changes from all commits
4fee2fc
c01b310
55be8e0
4ce6642
b744191
254cdf5
149f1e7
128e85c
436da2a
c759d5b
e81b0d0
72f692b
2fb9805
9103fdb
9b0fced
9f0aa51
0240e26
21b77d5
12f834d
a2889ec
c5de036
3cb2187
bbaf837
5c2e814
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing