Tips for the buttons of the workspace and of Genie - #73

Tips for the buttons of the workspace and of Genie#73

vickeykumar merged 1 commit into

mastervickeykumar/openrepl:masterfrom

developmentvickeykumar/openrepl:developmentCopy head branch name to clipboard