advertise undo
and redo
when there are changes to an env#4002
Open
IanButterworth wants to merge 1 commit intoJuliaLang:masterfrom IanButterworth:ib/advertise_undo
+6-1
undo
and redo
when there are changes to an env#4002