diff options
Diffstat (limited to 'public/tools/ping/ping.json')
| -rw-r--r-- | public/tools/ping/ping.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/tools/ping/ping.json b/public/tools/ping/ping.json index d8d4133a..744bc931 100644 --- a/public/tools/ping/ping.json +++ b/public/tools/ping/ping.json @@ -3,9 +3,9 @@ "compiler_std": "c++20", "headers_path": [ "./", - "../../../dev/kernel", + "../../../src/kernel", "../../../public/frameworks/", - "../../../dev/", + "../../../src/", "./" ], "sources_path": [], |