#6 Rename to shore, reimplement CLI

Merged
NiklasRosenstein merged 35 commits from shore into master 1 year ago
Owner
There is no content yet.
NiklasRosenstein self-assigned this 1 year ago
NiklasRosenstein added the
enhancement
label 1 year ago
NiklasRosenstein closed this pull request 1 year ago
NiklasRosenstein deleted branch shore 1 year ago
The pull request has been merged as 065cedd731.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.