arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00
Code Activity

Due to website configuration changes, every url starting with http://arduino.cc has been changed to http://www.arduino.cc. Fixes #3191

Browse Source
This commit is contained in:
Federico Fissore
2015-05-20 17:10:06 +02:00
parent 026210564d
commit 9166828bfe
140 changed files with 167 additions and 167 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
build/create_reference.pl
View File

@ -16,7 +16,7 @@ my $verbose = 1;
my $CURL_OPTIONS = "--silent --show-error -u $user:$pass";
my $ARDUINO = 'http://edit.arduino.cc/en_ref'; # base url for reference site
my $PUBLIC = 'http://arduino.cc/en'; # base url for public site
my $PUBLIC = 'http://www.arduino.cc/en'; # base url for public site
my %downloaded = (); # keep track of the pages we download