diff --git a/.externalToolBuilders/JSTD_Tests.launch b/.externalToolBuilders/JSTD_Tests.launch index 503cbaff..250aa755 100644 --- a/.externalToolBuilders/JSTD_Tests.launch +++ b/.externalToolBuilders/JSTD_Tests.launch @@ -1,6 +1,7 @@ - + + diff --git a/.externalToolBuilders/docs.launch b/.externalToolBuilders/docs.launch index 80cd1429..25b6b881 100644 --- a/.externalToolBuilders/docs.launch +++ b/.externalToolBuilders/docs.launch @@ -1,9 +1,9 @@ - + - - + + diff --git a/.settings/.jsdtscope b/.settings/.jsdtscope index a8f1ce8f..4b0e093e 100644 --- a/.settings/.jsdtscope +++ b/.settings/.jsdtscope @@ -1,8 +1,7 @@ - - +