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

Make datrie optional #41

Closed

eonpatapon wants to merge 1 commit into master from optional-datrie

Owner

eonpatapon commented Sep 12, 2019

If datrie is not installed no resource completion is available


          Make datrie optional

de561aa

If datrie is not installed no resource completion is available

eonpatapon force-pushed the optional-datrie branch from 9137946 to de561aa Compare

September 12, 2019 09:40

coveralls commented Sep 12, 2019

Coverage decreased (-0.1%) to 78.712% when pulling de561aa on optional-datrie into 0f6467a on master.

eonpatapon closed this

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