Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

core: add '.' to WORD_TOKEN accepted chars #104

Merged
merged 1 commit into from
Mar 6, 2019
Merged

core: add '.' to WORD_TOKEN accepted chars #104

merged 1 commit into from
Mar 6, 2019

Conversation

nil0x42
Copy link
Owner

@nil0x42 nil0x42 commented Mar 6, 2019

No description provided.

@codecov
Copy link

codecov bot commented Mar 6, 2019

Codecov Report

Merging #104 into master will increase coverage by 0.12%.
The diff coverage is 100%.

@@           Coverage Diff            @@
##           master   #104      +/-   ##
========================================
+ Coverage   68.88%    69%   +0.12%     
========================================
  Files          70     70              
  Lines        3320   3320              
  Branches      630    630              
========================================
+ Hits         2287   2291       +4     
+ Misses        808    804       -4     
  Partials      225    225

@codeclimate
Copy link

codeclimate bot commented Mar 6, 2019

Code Climate has analyzed commit 67398ad and detected 0 issues on this pull request.

View more on Code Climate.

@nil0x42 nil0x42 merged commit 4d42fce into master Mar 6, 2019
@nil0x42 nil0x42 deleted the wip branch March 6, 2019 15:00
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant