dev commit
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:52:51 +0000 (08:52 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Sat, 18 Apr 2020 06:52:51 +0000 (08:52 +0200)
commitfd514010a59ea4d468d4001976161fb607ba8faa
tree1cb058828aa48ce9fedd5f00a32019248307d00a
parent4b241ddefd6d6085651c447b60db0528a472667e
dev commit
web/prefs.js