makebuildserver: remove NDK r9b to save 1.6 GB of disk space

[fdroidserver.git] / examples / config.py

diff --git a/examples/config.py b/examples/config.py
index a065bbd3780577853f6f8acb2b1e3bb9cabf6914..bd9ebcb234db1b95ead5bca311be05ce0fb05c81 100644 (file)
--- a/examples/config.py
+++ b/examples/config.py
@@ -11,7 +11,6 @@
 # used by default. If a version is missing or assigned to None, it is assumed
 # not installed.
 # ndk_paths = {
-#     'r9b': None,
 #     'r10e': None,
 #     'r11c': None,
 #     'r12b': "$ANDROID_NDK",