New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Rebuild introduction/01-ode_introduction.jmd #283

Merged

ChrisRackauckas merged 1 commit into master from rebuild/886c1215

Jul 28, 2020

Contributor

github-actions bot commented Jul 28, 2020

Pipeline is in progress, I'll comment here again when it's done.


          Rebuild introduction/01-ode_introduction.jmd

2f63f5f

Contributor Author

github-actions bot commented Jul 28, 2020

Pipeline is finished: see it here.

ChrisRackauckas merged commit 3e0490c into master

ChrisRackauckas deleted the rebuild/886c1215 branch

July 28, 2020 01:05

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet