The only thing I can find is a boards.txt file in the ESP8266-master (library). Removing all the other entries in that particular file did not take anything out of the IDE.
One thing to note, the actual definition of the hide property makes no difference. It's merely the presence of the property that causes the board to be hidden. So even if you do this:Code: [Select]uno.hide=falsethe Arduino/Genuino Uno board will still be hidden from the Tools > Board menu. For this reason I think it is not best practices to use uno.hide=true as this gives the illusion that uno.hide=false will cause it to be unhidden. Instead I am just using an empty definition:Code: [Select]uno.hide=It's really a shame that there are so many useful features like this that nobody knows about because Arduino didn't take the time to document them. This came up on the issue tracker and I vaguely remembered something about it but not the specific property name. So I had to spend a lot of time searching before I found this forum thread.