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

fix: Update .Net and PHP dicts. #1535

Merged

Jason3S merged 2 commits into main from dev-tools

Oct 23, 2022

Collaborator

Jason3S commented Oct 23, 2022

Checklist

By submitting this issue, you agree to follow our
Code of Conduct

Jason3S added 2 commits

October 23, 2022 17:07


          fix: keep .Net compiled dictionary

86e4c6d


          chore: Use cspell-tools-cli to build php.

619be28

Jason3S merged commit d577c9b into main

Jason3S deleted the dev-tools branch

October 23, 2022 15:34

github-actions bot mentioned this pull request

chore: release main #1527

Merged

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