s3lph 9959d5ca49 release.py: Replace default user agent by that of curl		2020-06-21 05:13:15 +02:00
..
archlinux	Archlinux packaging	2019-11-26 16:43:05 +01:00
debian/spaceapi-server	Debian: Remove /usr/lib/spaceapi-server	2019-11-26 16:48:34 +01:00
docker	Add a CI step to create a container image	2020-06-20 03:43:08 +02:00
Dockerfile	Update CI image to include Docker	2020-06-20 03:52:47 +02:00
release.py	release.py: Replace default user agent by that of curl	2020-06-21 05:13:15 +02:00