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
Interactive synopsis Fix #2024 #3140
Interactive synopsis Fix #2024 #3140
Changes from all commits
fe55d51
7eb7a3c
d2491c4
0357010
2db56e1
551aae5
65cd894
0897dbe
aced399
532c3ec
5ab5723
f433cc9
fee75df
1ff0a76
1d98d06
8392d9f
9ed8ed8
27960ac
b8d44a4
ce1530f
d083248
6515b73
6013dd2
3debb34
aebacd4
ee52a0e
301b0aa
b99fd5c
59363d3
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing