diff --git a/libraries/.buildignore b/libraries/.buildignore deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/libraries/.mbedignore b/libraries/.mbedignore new file mode 100644 index 00000000000..72e8ffc0db8 --- /dev/null +++ b/libraries/.mbedignore @@ -0,0 +1 @@ +* diff --git a/workspace_tools/.buildignore b/workspace_tools/.buildignore deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/workspace_tools/.mbedignore b/workspace_tools/.mbedignore new file mode 100644 index 00000000000..f59ec20aabf --- /dev/null +++ b/workspace_tools/.mbedignore @@ -0,0 +1 @@ +* \ No newline at end of file