Fixes #259 Reflect file deletion by removing the whole entry#2922

arkirchner wants to merge 1 commit intomainopenHPI/codeocean:mainfrom

259-ui-reflects-file-deletionopenHPI/codeocean:259-ui-reflects-file-deletionCopy head branch name to clipboard