Ivan Grokhotkov 00604f35de Add API to set the beginning of local ports range for WiFiClient

2015-05-24 23:15:05 +03:00

..

arduino

Merge branch 'master' into esp8266

2015-05-18 14:54:06 +03:00

esp8266com/esp8266

Add API to set the beginning of local ports range for WiFiClient

2015-05-24 23:15:05 +03:00

tools

fix location change

2015-05-18 16:58:18 +03:00

platform.keys.rewrite.txt

Platform.txt in-memory rewrite rules: whenever loaded, if a property is set to a value known to be wrong/old, that property is replaced with the current/right value.

2015-03-30 16:18:08 +02:00