RP2040 Arduino framework: conflicts with TimeLib.h

Dear Max,

deleting .platformio helped fix the problem.

However, when I re-installed platformIO, I stumbled into the next problem:

“platform = raspberrypi” in platformio.ini generated an error message regarding “board = rpipicow”.

When I used your GitHub repository instead (“platform = https://github.com/maxgerhardt/platform-raspberrypi.git”) it went through o.k.

Anyhow, thank you again for all your help!!

Best regards

Ludwin