dev commit
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 19:28:45 +0000 (21:28 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 19:28:45 +0000 (21:28 +0200)
commitfa308884c350aa8987be22c96ec108cd537bdd47
treef68ad5df25143c919bdd41b7dc4ad57eacc0955b
parent42e0c21312ba187cbc966ade7581bffff1f12161
dev commit
web/prefs.js