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
PR for commits from mimuw-distributed-systems-group #22
base: master
Are you sure you want to change the base?
PR for commits from mimuw-distributed-systems-group #22
Changes from all commits
e945b9a
155b634
31b1b02
019970d
c609df8
b70d815
4924d5c
68c6e94
a119608
2d8aad3
0bae45d
50f5f4d
93c6cbe
a2d8c0d
2fea282
2296284
8341333
2ab5841
9494a29
95fd54f
63df2df
8b5a032
e3a4384
3d44fa3
acfde4f
c5b06d9
8363b3f
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.