Skip to content

Cleanup demo.py#711

Merged
shoeb-github merged 5 commits into
masterfrom
maint/696_cleanup_demo
Jan 7, 2020
Merged

Cleanup demo.py#711
shoeb-github merged 5 commits into
masterfrom
maint/696_cleanup_demo

Conversation

@shoeb-github
Copy link
Copy Markdown
Contributor

Drive by cleanup for demo.py.

This is in preparation for adding tutor.py functionality to demo.py.

xref #710

Copy link
Copy Markdown
Contributor

@corranwebster corranwebster left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@shoeb-github shoeb-github merged commit 9bd5225 into master Jan 7, 2020
@shoeb-github shoeb-github deleted the maint/696_cleanup_demo branch January 7, 2020 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants