chiark / gitweb /
Merge branch 'no_sleep' into 'master'
authorMichael Pöhn <uniq@h4x.at>
Sat, 2 Dec 2017 12:49:05 +0000 (12:49 +0000)
committerMichael Pöhn <uniq@h4x.at>
Sat, 2 Dec 2017 12:49:05 +0000 (12:49 +0000)
commit68bbfa7e0e96513a879b9862b2fda1ca0a11bceb
tree01a19547585d8c520865128f895c8364e035f933
parent167c730ad83da6cbeddac48af2c5495309ae3783
parentb9b262422f17d540fed44fd5600773189101e4fb
Merge branch 'no_sleep' into 'master'

vmtools: remove old vagrant workaround

See merge request fdroid/fdroidserver!380
fdroidserver/vmtools.py