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

Embed tokenizer interface in strtok3 (used to be token-types). #92

Merged

Borewit merged 1 commit into master from embed-tokenizer-interface

Dec 23, 2019

Owner

Borewit commented Dec 23, 2019 •

edited

Loading

Issue #91

Embed tokenizer interface in strtok3 (used to be defined in token-types).


          Embed tokenizer interface in strtok3 (used to be token-types).

82cf52e

Rename lib/type to lib/types.

Borewit self-assigned this

coveralls commented Dec 23, 2019

Coverage remained the same at 80.795% when pulling 82cf52e on embed-tokenizer-interface into 3d34d30 on master.

Borewit merged commit dccd45a into master

Borewit deleted the embed-tokenizer-interface branch

December 23, 2019 16:57

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet