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

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

feat: Make diff module public #3010

Merged
merged 4 commits into from
Jan 26, 2025
Merged

Conversation

pavelzw
Copy link
Contributor

@pavelzw pavelzw commented Jan 25, 2025

To revive #2340 in a separate tool, I need some functions public in diff.rs.

Needed for pavelzw/pixi-diff#3

Copy link
Contributor

@ruben-arts ruben-arts left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@ruben-arts ruben-arts merged commit 9b7740c into prefix-dev:main Jan 26, 2025
29 checks passed
@pavelzw pavelzw deleted the diff-public branch January 26, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants