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

Update addon/.gitignore #1413

Merged

MelSumner merged 1 commit into master from melsumner/update-gitignore

Jun 9, 2023

Contributor

MelSumner commented Jun 9, 2023

In #1408 I should have caught that we now use dist-types instead of public-types, so updating the .gitignore to reflect that change.


          changed public-types to dist-types

16e7418

MelSumner requested a review from NullVoxPopuli

June 9, 2023 16:02

MelSumner added bug internal and removed bug labels

NullVoxPopuli approved these changes

View reviewed changes

Sponsor Collaborator

NullVoxPopuli left a comment

lgtm

MelSumner merged commit e6b3eaf into master

14 checks passed

MelSumner deleted the melsumner/update-gitignore branch

June 9, 2023 16:16

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