diff --git a/src/tools/Extractor_projects b/src/tools/Extractor_projects index 12386b01..6f0c774d 160000 --- a/src/tools/Extractor_projects +++ b/src/tools/Extractor_projects @@ -1 +1 @@ -Subproject commit 12386b016748de0855b0ec9ba21e17d01e3bca03 +Subproject commit 6f0c774d80e3fe3bcca0736ddcf3e8a0e20d4888