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
Add SelectionList concept #8054
base: master
Are you sure you want to change the base?
Add SelectionList concept #8054
Changes from all commits
599eea6
d07ff3b
85adfad
4e3eb2d
8c30b52
2c759ed
c03421a
397d514
cd1c093
723b3ca
e911406
a825797
92cf5a5
5dc0e89
85c0568
92e4afa
3ef81b4
ec1151b
1bb38a0
3f1399e
10947bc
f02104e
61d9408
1e7df28
bc052de
94ffa38
b23f5a1
14f7f8f
f8c87e7
d08978d
3a4f36c
0948a2c
ba1e47a
0a3e48a
35a94f4
f057584
6e1b3d1
12bfd7f
f756ab8
d0894b9
88fe740
f5c2265
eed0b09
f5e0907
c388b6e
e890d3d
c571a42
3fec77b
2680050
57cb954
de5a891
b080a96
4c1c66c
7ab97c7
a041ad0
2205d05
72a81d5
c65e34b
559e2b2
ff5e4b6
d8b83ba
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing