Skip to content

add show_undo_redo config option, default false#724

Merged
alexcjohnson merged 3 commits intomasterfrom
hide-undo-redo
May 21, 2019
Merged

add show_undo_redo config option, default false#724
alexcjohnson merged 3 commits intomasterfrom
hide-undo-redo

Commits

Commits on May 20, 2019

Commits on May 21, 2019