8000 Split varisat into multiple crates and add re-exports by jix · Pull Request #51 · jix/varisat · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Split varisat into multiple crates and add re-exports #51

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
Merged
merged 6 commits into from
May 17, 2019
Merged

Split varisat into multiple crates and add re-exports #51

merged 6 commits into from
May 17, 2019

Conversation

jix
Copy link
Owner
@jix jix commented May 17, 2019

This resolves #35 and resolves #44

@jix
Copy link
Owner Author
jix commented May 17, 2019

bors r+

bors bot added a commit that referenced this pull request May 17, 2019
@bors @jix
Merge #51
1e41d53 
51: Split varisat into multiple crates and add re-exports r=jix a=jix

This resolves #35 and resolves #44

Co-authored-by: Jannis Harder <me@jix.one>
@bors
Copy link
Contributor
bors bot commented May 17, 2019

Build succeeded

@bors bors bot merged commit c38acb0 into master May 17, 2019
@bors bors bot deleted the split-crate branch May 17, 2019 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Toplevel re-exports or prelude of commonly used items Split varisat crate
1 participant
@jix
0