From: Paul <44974737+paulober@users.noreply.github.com>
Date: Wed, 8 May 2024 14:08:41 +0000 (+0200)
Subject: Merge pull request #1 from raspberrypi/feature-platform-independent-cpp_properties
X-Git-Url: https://repo.jachan.dev/pico-vscode.git/commitdiff_plain/a64fcd1fdb789d1d00ec010a39b7235fc4672c53

Merge pull request #1 from raspberrypi/feature-platform-independent-cpp_properties

c_cpp_properties platform independent
---

a64fcd1fdb789d1d00ec010a39b7235fc4672c53