diff options
Diffstat (limited to 'default.xml')
| -rw-r--r-- | default.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 4fd5ec0de..6bcec992a 100644 --- a/default.xml +++ b/default.xml @@ -453,7 +453,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" /> |