Re-add NDK r12b, now fixed.

[fdroidserver.git] / examples / config.py

diff --git a/examples/config.py b/examples/config.py
index 97628e7e0ad8f97d394c75ac1dae9262d667716b..255b9c0cb02459ce5d72b6991ed1569d28dd05e0 100644 (file)
--- a/examples/config.py
+++ b/examples/config.py
@@ -12,7 +12,8 @@
 # not installed.
 # ndk_paths = {
 #     'r9b': None,
-#     'r10e': "$ANDROID_NDK",
+#     'r10e': None,
+#     'r12b': "$ANDROID_NDK",
 # }
 
 # java_paths = {