Wed, 18 Mar 2020 14:17:46 -0700 |
Stefano Rivera |
Bump snap, to use new level server
|
Wed, 18 Mar 2020 20:02:49 +0200 |
Neil Muller |
Update level server location
|
Tue, 17 Mar 2020 22:36:30 +0200 |
Neil Muller |
Fix urls in the debian setup
|
Tue, 17 Mar 2020 22:35:46 +0200 |
Neil Muller |
Fix url in setup.py
|
Tue, 17 Mar 2020 22:32:56 +0200 |
Neil Muller |
Update repo url. Comment out CIA submission, since that's dead
|
Fri, 18 Oct 2019 15:35:47 -0700 |
Stefano Rivera |
pulseaudio plug replaced by audio-playback
|
Tue, 10 Sep 2019 11:59:58 -0300 |
Stefano Rivera |
Tidy whitespace
|