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
feat: Ambiguous term definition priority #269
feat: Ambiguous term definition priority #269
Changes from all commits
75b1294
442e0b9
a3a8fc5
e61b351
86da174
9e3d84c
d0f0d47
9f46633
e56ce17
9854841
467590a
5001552
d2fb180
c87038b
529743d
256d9a7
5436c97
dce60dd
39a4815
6fe1017
fc7441e
807e7a0
f4cdd3a
0f276e6
19a6705
438206c
fb90a84
4b03610
90dff7e
757c593
52458e9
e323206
099b01c
f17d2dc
9860bef
a959df5
b309dd3
9fd0610
3fb1d1d
bab4ff7
6f729f6
e337697
e096a47
7d2c557
f03387a
533cca4
869a9f9
7552272
f194442
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.