arduino-pico/cores/rp2040/api/deprecated
Earle F. Philhower, III ab02801d76
Check in Arduino API directory to avoid symlink (#176)
Fixes #171

Under Windows, it is very hard to make a symlink and by default git won't
make one to the Arduino API directory, causing annoying build errors.

Avoid the issue by duplicating the ArduinoAPI directory explicitly and using
CI to verify that there are no differences between the two.
2021-05-28 08:50:48 -07:00
..
Client.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
HardwareSerial.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
IPAddress.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
Print.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
Printable.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
Server.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
Stream.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
Udp.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00
WString.h Check in Arduino API directory to avoid symlink (#176) 2021-05-28 08:50:48 -07:00