dev commit
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:49:14 +0000 (08:49 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:49:14 +0000 (08:49 +0200)
commitddfcefbfda9ef52333f47983f660dcbdd7cba0a4
treef56c8bea73b34d9e4874727aca3c097fc4bca6ec
parent9f9e8c1e9c5ee728fec3988e958cbdee76785fc1
dev commit
web/prefs.js