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

Remove diff shard #425

Merged

Sija merged 1 commit into mint-lang:master from matthewmcgarvey:mm/remove-diff

May 19, 2021

Contributor

matthewmcgarvey commented May 18, 2021

diff was replaced with piping to git

429edf1#diff-90c374bba832fc9793c75572f12a939ec566c89995ad12eb458df7c74b4e18ffL19


          Remove diff shard

d62954f

matthewmcgarvey mentioned this pull request

shards install gives incompatible dependencies when installing from sources #404

Closed

Sija merged commit 462361a into mint-lang:master

Member

Sija commented May 19, 2021

Thanks @matthewmcgarvey! 🙏

matthewmcgarvey deleted the mm/remove-diff branch

May 19, 2021 01:14

Sija added the refactor label

Sija added this to the 0.13.0 milestone

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

Labels