diff options
author | Benoit Marty <benoit.marty@gmail.com> | 2018-06-26 10:39:54 +0200 |
---|---|---|
committer | Hubert Chathi <hubert@uhoreg.ca> | 2018-06-27 14:00:20 -0400 |
commit | 6f2145337ba112fa6784c49f8002e2927a559a88 (patch) | |
tree | 8462d29093ca2c8e99c22798f292b5760cdcc70b /android | |
parent | 44c5923522844343d4cb0c029fc548ba76dad95d (diff) |
Comment out proxy settings
Diffstat (limited to 'android')
-rw-r--r-- | android/gradle.properties | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/android/gradle.properties b/android/gradle.properties index ff53440..b810692 100644 --- a/android/gradle.properties +++ b/android/gradle.properties @@ -13,9 +13,10 @@ # http://www.gradle.org/docs/current/userguide/multi_project_builds.html#sec:decoupled_projects # org.gradle.parallel=true #Wed Oct 05 11:49:34 CEST 2016 -systemProp.https.proxyPort=8080 -systemProp.http.proxyHost=batproxy -systemProp.https.proxyHost=batproxy -systemProp.http.proxyPort=8080 + +#systemProp.https.proxyPort=8080 +#systemProp.http.proxyHost=batproxy +#systemProp.https.proxyHost=batproxy +#systemProp.http.proxyPort=8080 org.gradle.configureondemand=false |