Skip to content
This repository has been archived by the owner on Aug 3, 2023. It is now read-only.

feat: further reduce complexity of main #1937

Merged
merged 1 commit into from
May 27, 2021
Merged

feat: further reduce complexity of main #1937

merged 1 commit into from
May 27, 2021

Conversation

nilslice
Copy link
Contributor

In many ways, thanks to @ObsidianMinor's work on #1932, we can split up the cli code further and keep a simple main.rs.

@nilslice nilslice requested a review from a team as a code owner May 27, 2021 22:10
@nilslice nilslice merged commit 8aaa430 into master May 27, 2021
@delete-merged-branch delete-merged-branch bot deleted the sm/cli branch May 27, 2021 22:43
kflict referenced this pull request in CollectiveSynthesis2021/ORGIN2 Jun 17, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants