chiark / gitweb /
Merge branch 'push-install' into 'master'
-rw-r--r-- 357 .gitignore
-rw-r--r-- 170 .gitlab-ci.yml
drwxr-xr-x - .pylint-plugins
-rw-r--r-- 1704 .travis.yml
-rw-r--r-- 34520 LICENSE
-rw-r--r-- 1238 MANIFEST.in
-rw-r--r-- 2672 README.md
drwxr-xr-x - buildserver
drwxr-xr-x - completion
drwxr-xr-x - docs
drwxr-xr-x - examples
-rwxr-xr-x 2667 fd-commit
-rwxr-xr-x 5472 fdroid
drwxr-xr-x - fdroidserver
drwxr-xr-x - hooks
-rwxr-xr-x 438 jenkins-build
-rwxr-xr-x 2277 jenkins-build-makebuildserver
-rwxr-xr-x 19522 makebuildserver
-rw-r--r-- 91 setup.cfg
-rw-r--r-- 1520 setup.py
drwxr-xr-x - tests
drwxr-xr-x - wp-fdroid