diff -r 38fa7e41194c -r 53e22f112b11 make/project.xml --- a/make/project.xml Mon Nov 11 21:42:14 2024 +0100 +++ b/make/project.xml Tue Nov 12 17:34:04 2024 +0100 @@ -1,5 +1,5 @@ - + pwd command -v doxygen @@ -114,6 +114,12 @@ coverage + + use custom implementation, instead + + + + c,file-tools