diff options
| -rw-r--r-- | default.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 3dd0781ac..bd6ee7368 100644 --- a/default.xml +++ b/default.xml @@ -463,7 +463,6 @@ <project path="external/pigweed" name="platform/external/pigweed" groups="pdk" /> <project path="external/ply" name="platform/external/ply" groups="pdk" /> <project path="external/ppp" name="platform/external/ppp" groups="pdk" /> - <project path="external/proguard" name="platform/external/proguard" groups="pdk" /> <project path="external/protobuf" name="platform/external/protobuf" groups="pdk" /> <project path="external/psimd" name="platform/external/psimd" groups="pdk" /> <project path="external/pthreadpool" name="platform/external/pthreadpool" groups="pdk" /> |