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
Integrate learn-ocaml-editor #295
base: master
Are you sure you want to change the base?
Integrate learn-ocaml-editor #295
Changes from 68 commits
21887b6
58f6eb2
afd3b1a
b23ae00
33a94b5
d748d65
f417bfc
59f0207
a61bc99
1d2052d
1430be1
9a1140f
6809473
4139663
bac422c
d23c987
d82eb94
15780b5
7d76dde
c55c234
c082d9d
c9840c8
5d58ab5
3b115d1
ff7e53c
9581ace
c65c805
75bf894
09cd3cb
f59835c
d81f3d6
5add660
bebd99c
df4dd5c
04005b0
cef5c93
caec3fa
beefd63
27d95df
d6098c1
f411cbb
9cde33e
840a14d
0681084
605d2f7
f184a7d
21cbbd5
b5508a6
54ff959
11a5b00
91942d6
5bde0b7
7e297c5
39ff8c1
e3551b2
fec482f
971b40f
123e82f
b10c1e3
f09c0cd
bebed70
3bb8678
597856b
2509add
f5b3514
9bde825
cda2fa4
31c463f
bc55e7e
b868d62
a6f335c
c6c1a86
1624bbc
3f6673c
046b3e9
cbdec8d
85e8055
b4a0fc4
a595709
ec7f365
1693e95
283ae61
53dff98
991430b
f4ffac8
ab0f4f0
44cd018
af85f61
a06f37e
7db3731
828efb5
388e338
4a2601f
7689962
24fc021
507a7d3
95af8d2
1a047a5
8aa71e6
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing