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
init commit to create PR #4
base: typeset_base
Are you sure you want to change the base?
init commit to create PR #4
Changes from 1 commit
5475cb6
dcf3b6c
0d0b612
936da83
958bc47
f4c0816
d274cb9
6693154
5e2e091
0fa67b2
db5456a
90f7105
15d1268
07104e4
c0bde65
161dfdf
8dd8429
37ada4d
c563fb3
f29f955
2e44bd5
06a264b
c859a20
71a03cc
28bbc16
2a9f4b7
ec26911
5090a3c
4b4e99e
8155cf4
22f5601
4b77bbd
59391b1
4c741f3
1041f17
b641ee0
c50c876
d120c80
e5bcdb3
ce1422f
b190124
fa4c8c0
5ef2c2a
305ed98
9d75dcb
361f32e
83ad582
4b91d8f
bb28070
bf3a4de
9da8981
4a1b30a
2c70c6e
73e944e
b1947a2
6c0185d
7139f93
c696efc
48768ef
0ca9082
8538266
9c7aa90
3127bd3
ebea793
295c205
c6359dc
e24548b
8ac7ab6
2fcd28d
e89a50e
d06338c
8e523f7
03d2e12
cc5c929
a8beb19
84814ba
4012274
c6c4d92
acdfe3e
b52d8b8
fc0938d
f706f0c
d1a0f28
78c259b
681091d
a0cc970
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing