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
The Witness: More control over progressive symbols #3961
base: main
Are you sure you want to change the base?
The Witness: More control over progressive symbols #3961
Changes from all commits
d9027f3
065274d
d328213
c8aa350
63861a0
5c92fb0
1b8a856
4ded65a
84a59a6
827f5d3
1fa5ec0
31e0f48
3d79c84
f3003b1
67d4fd0
da74ecc
4c24963
b3cb5e9
d4ddcb6
ba29b31
bb98ac8
4ac815b
49b8f24
cfee7ff
c4721ab
403788a
83860e0
2dac460
a7507e7
64b39f3
bfd2b58
5e3a556
035b1a0
03492d8
01dfb36
4c37d22
4e1ba53
a93a152
0a0cc13
dde5638
a19d36f
b7bb723
6b8ce5c
d6942e2
afedaab
d622f2c
af29c2a
c2f5a74
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Large diffs are not rendered by default.
Large diffs are not rendered by default.