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
Views for instance-filtering and information-abstracting views #289
base: main
Are you sure you want to change the base?
Views for instance-filtering and information-abstracting views #289
Changes from all commits
1d660ec
0256297
4186195
ad150e8
e63f488
da538ce
d51f4ea
b082263
2d8b646
f828e70
eaa780a
1618324
270d94e
5f481f8
7246f81
941e31f
f4530c5
433ec21
4842901
395431d
1e7525c
cad4f2d
e6064c0
45bae4d
1d83e1a
eed9f64
7627175
c13eb53
56da547
d2f21c4
29e7bb5
5062b2e
342f5a3
b4e7158
3f6e0f0
8ac4574
c7899f9
4be9d78
906d432
28254a7
9e5f9f8
1bcf17b
d525bc0
62889a5
ff82f11
1f58dcb
5100b9e
45ec52e
3914d89
0ba7116
63f1731
b6f9563
ad3d0f4
c9aa4a1
0fe57a3
174c630
097b8ed
c1deeb4
b761b2a
7d940a4
cc1bb80
52adcd5
7a34582
2988a87
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.