diff --git a/src/tools/Extractor_projects b/src/tools/Extractor_projects index 7f90a8c1..8fd801de 160000 --- a/src/tools/Extractor_projects +++ b/src/tools/Extractor_projects @@ -1 +1 @@ -Subproject commit 7f90a8c1b4c4a120a9227250fa4981600cb43ac7 +Subproject commit 8fd801de7ed7c7fdf15827dd9888ec4b642eaead