fix(editor): add 'graph' to the activity bar tab union (Closes #138) - #173

fix(editor): add 'graph' to the activity bar tab union (Closes #138)#173

harsharajkumar-273 merged 1 commit into

harsharajkumar-273:mainharsharajkumar-273/Proofdesk:mainfrom

SakethSumanBathini:fix/138-graph-tab-unionSakethSumanBathini/Proofdesk:fix/138-graph-tab-unionCopy head branch name to clipboard