diff --git a/tools/project.xml b/tools/project.xml index 7fcc9ea718..ea60aa4967 100644 --- a/tools/project.xml +++ b/tools/project.xml @@ -4,7 +4,7 @@ Linux/x86 - windows_intelx86 + windows-intelx86 Windows/x86 @@ -16,7 +16,7 @@ anonymous - setiathome - SETI@home + upperCASE + upperCASE