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
Insert tau #95
Insert tau #95
Changes from 39 commits
2ce5edf
2f4ed37
7f6014d
671460e
b737e10
623bea0
fb5dbb6
14828bd
9e5cdc2
1e7efe5
8e76e1d
a9bd044
db0fe2a
262ae4a
4d7f405
85918a7
893b456
7c4129d
2ef7590
8045593
fd3c784
f04fa8a
bd612d9
882ad87
f79b323
656d99a
4df9c2a
9f94b24
c4f6055
f3c7df0
d22c8b8
7371b5a
e43eb94
b1055f7
f08596f
693b08f
aa20ee9
956ac17
04bf9d2
9bf8ce2
1589f4a
e9c6b02
996e71e
cef20c9
5ec80d0
906de21
0ce0843
e6c0006
0b02433
5a9065c
07b0b1e
7ec4294
22a69de
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing