A lightweight programming environment for desktop and mobile devices

correct a comment

We no longer have undo history directly in globals.

Created by  Kartik K. Agaram  on August 21, 2022
Z6HI3K55DX3BK25SGJ5B5KYGNRPV6WH65QLN65BFPWD7L6WB7IHQC
Change contents