Delete a Library, cannot delete Folder in Raspbian File Manager

Question

enter image description hereI accidentally pasted a Tool folder (https://github.com/me-no-dev/EspExceptionDecoder) into my Arduino Library