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

Jump to bottom

fix: name change for docs #35

Merged

tsotimus merged 1 commit into main from chore/docs-name-update

Aug 18, 2024

Owner

tsotimus commented Aug 18, 2024 •

edited

Loading

fix: name change for docs

Key Changes

Update name from old package

Approach

Checklist

Tests
Documentation


          fix name change

1ae589d

tsotimus merged commit 0031782 into main

1 check passed

tsotimus deleted the chore/docs-name-update branch

January 4, 2025 19:07

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet