Skip to content
This repository was archived by the owner on Jul 3, 2019. It is now read-only.

so much has changed! #8

Merged
merged 21 commits into from
Jan 31, 2018
Merged

so much has changed! #8

merged 21 commits into from
Jan 31, 2018

Conversation

jmuchovej
Copy link
Member

added proper docker scripts – still missing batch versions.

most of the way through the first three lectures, need to finish off the images/animations though.

overhauled the __admin__ module and made generation/updating significantly easier.

@jmuchovej jmuchovej merged commit 452c072 into master Jan 31, 2018
jmuchovej pushed a commit that referenced this pull request Mar 30, 2018
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