Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Pretokens #15

Merged
merged 8 commits into from
Oct 26, 2017
Merged

Pretokens #15

merged 8 commits into from
Oct 26, 2017

Conversation

k06a
Copy link
Contributor

@k06a k06a commented Oct 23, 2017

No description provided.

@coveralls
Copy link

Coverage Status

Coverage decreased (-3.5%) to 96.522% when pulling 5e180bf on feature/pretokens into 6cf1f57 on master.

@coveralls
Copy link

coveralls commented Oct 23, 2017 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling 235211a on feature/pretokens into 6cf1f57 on master.

@coveralls
Copy link

coveralls commented Oct 24, 2017 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling ad641dc on feature/pretokens into 6cf1f57 on master.

@coveralls
Copy link

coveralls commented Oct 25, 2017 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling 72fc2ab on feature/pretokens into 6cf1f57 on master.

@coveralls
Copy link

coveralls commented Oct 25, 2017 •
edited

Coverage Status

Coverage remained the same at 100.0% when pulling 9ad7350 on feature/pretokens into 6cf1f57 on master.

@markshw markshw merged commit ad57c1e into master Oct 26, 2017
@k06a k06a deleted the feature/pretokens branch October 26, 2017 07:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@markshw markshw

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@k06a @coveralls @markshw