From 071469da25a8714781c6eead838937818f59653c Mon Sep 17 00:00:00 2001
From: Chris Soyars <ctso@ctso.me>
Date: Mon, 9 Dec 2013 12:56:08 -0800
Subject: [PATCH] Add WhisperPush

Change-Id: I776576988255309336c9c80c42c481ed35a43d96
---
 default.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/default.xml b/default.xml
index 48a414ad..9e0ce43f 100644
--- a/default.xml
+++ b/default.xml
@@ -232,6 +232,8 @@
   <project path="external/webkit" name="CyanogenMod/android_external_webkit" />
   <project path="external/webp" name="CyanogenMod/android_external_webp" />
   <project path="external/webrtc" name="CyanogenMod/android_external_webrtc" groups="pdk" />
+  <project path="external/whispersystems/TextSecure" name="CyanogenMod/android_external_whispersystems_TextSecure" />
+  <project path="external/whispersystems/WhisperPush" name="CyanogenMod/android_external_whispersystems_WhisperPush" />
   <project path="external/wpa_supplicant_8" name="CyanogenMod/android_external_wpa_supplicant_8" groups="pdk" />
   <project path="external/wpa_supplicant_8_ti" name="CyanogenMod/android_external_wpa_supplicant_8_ti" />
   <project path="external/xmlwriter" name="CyanogenMod/android_external_xmlwriter" />