chiark / gitweb /
Make the server tools an installable package (with distutils) - wip
-rw-r--r-- 78 .gitignore
-rw-r--r-- 34520 COPYING
-rw-r--r-- 52 README
drwxr-xr-x - build
drwxr-xr-x - builder
drwxr-xr-x - buildserver
-rw-r--r-- 170 config.buildserver.py
-rw-r--r-- 1345 config.sample.py
drwxr-xr-x - docs
-rwxr-xr-x 1599 fdroid
-rw-r--r-- 2017 fdroid-icon.png
drwxr-xr-x - fdroidserver
drwxr-xr-x - getsig
-rwxr-xr-x 334 makebuildserver.sh
drwxr-xr-x - metadata
-rw-r--r-- 443 setup.py
drwxr-xr-x - stats
-rwxr-xr-x 81 updateplugin.sh
-rwxr-xr-x 81 upload.sh
-rwxr-xr-x 84 uploadquick.sh
drwxr-xr-x - wp-fdroid