Skip to content
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

This commit to fix the final package #1

Merged
merged 1 commit into from
Apr 4, 2024
Merged

Conversation

hayssams
Copy link
Contributor

@hayssams hayssams commented Apr 4, 2024

This commit to fix the final package names and keep Andreas Reichel as the only developer of this initial version.

…s the only developer of this initial version.
@manticore-projects manticore-projects merged commit 8cff629 into main Apr 4, 2024
1 check failed
@manticore-projects manticore-projects deleted the fix/license branch April 4, 2024 23:33
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants