dev commit
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:51:57 +0000 (08:51 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:51:57 +0000 (08:51 +0200)
commit4b241ddefd6d6085651c447b60db0528a472667e
tree550cf20b6e34aad29f84a4cc662ddc0d44b09e4d
parentddfcefbfda9ef52333f47983f660dcbdd7cba0a4
dev commit
web/prefs.js