I was following along instructions on IoT setup and this happened:
/tmp/439447935/Get_Started_dec01a/Get_Started_dec01a.ino:19:10: fatal error: thingProperties.h: No such file or directory #include "thingProperties.h" ^~~~~~~~~~~~~~~~~~~ compilation terminated. Error during build: exit status 1
I don't know what happened and it would be helpful if someone responded asap.