frontend/explorer: expose starred files#8613

williamstein merged 1 commit intomastersagemathinc/cocalc:masterfrom

starred-files-in-explorer-8259sagemathinc/cocalc:starred-files-in-explorer-8259Copy head branch name to clipboard