Add an option to the tutorial editors to keep history in the browser.#926

Merged

manthey merged 2 commits intomasterfrom tutorial-history

Sep 11, 2018

+36-12

Commits on Sep 10, 2018

Add an option to the tutorial editors to keep history in the browser.
manthey
committed

Commits on Sep 11, 2018

Always keep history.
manthey
committed