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
Pretext conversion #68
base: master
Are you sure you want to change the base?
Pretext conversion #68
Changes from all commits
1c8dde7
fff3dce
7af15f1
c1b69ab
17a664e
71ea40f
7838dec
4b600ea
b7adccd
254df08
6b64717
2bd539c
0e641ae
8676988
5f84951
269b03f
551358e
9d132a7
675b767
d23c0bf
7c686d1
8ec41bc
fd0fc60
61b0f0f
1c9bd62
1c5b22a
e66e5c6
ff4d6b2
4a3b92e
4bf06f3
def5508
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing