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.

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

Interactive mode #59

Merged
merged 2 commits into from
May 12, 2015
Merged

Interactive mode #59

merged 2 commits into from
May 12, 2015

Conversation

davidor
Copy link
Collaborator

@davidor davidor commented May 12, 2015

No description provided.

@davidor davidor mentioned this pull request May 12, 2015
Closed
@ftomassetti
Copy link
Owner

Seems fine, merging. Thanks!
Now I am going to merge the initial stub for the symbol solver, later I am going to plan some effort on increasing test coverage.

ftomassetti added a commit that referenced this pull request May 12, 2015
@ftomassetti
Merge pull request #59 from ftomassetti/interactive-mode
5126737 
Interactive mode
@ftomassetti ftomassetti merged commit 5126737 into master May 12, 2015
@davidor davidor deleted the interactive-mode branch May 12, 2015 18:43
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.
2 participants
@davidor @ftomassetti