Important changes to forums and questions
All forums and questions are now archived. To start a new conversation or read the latest updates go to forums.mbed.com.
7 years, 11 months ago.
How do I delete "library.properties" files from a project?
I pulled in some code from ZIP files, and in the process I've brought in some files that appear to be impossible to delete.
Particularly there are files: "library.properties" which throw up illegal character errors despite being fairly "vanilla" apart from the long extension. Can I delete them somehow, do I need admin help?
With hindsight the lesson is that before you attempt to import a ZIP file it needs to be sanitized ruthlessly.