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
Port ~50 library specifications to the new system #1200
Port ~50 library specifications to the new system #1200
Changes from all commits
587b39f
d9418ce
f41d294
6489d8c
53a8aae
10fd2f0
220adb8
6453c18
23491d8
3a4daa6
b8f24dd
b916048
0489673
aed4697
e0e11b1
9fae0dc
92528b1
68f7ff8
d2fa5b1
de0dbca
978f6b2
96ea981
9f80b1c
62f96fb
a50a177
fdd2758
255035f
13bc14c
c439e2e
fa8de7d
8c7a633
9b3b38f
d4d170b
ba4b436
7742c65
57bc1ba
d535a47
f5ffd12
a085287
9fb68d4
c8ed7e2
c53f193
8f1bd75
0e77bc2
960b023
d855613
79d71b8
8cdd6da
820312c
da997a3
1fcbda9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Large diffs are not rendered by default.