update isolation tables filter
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 07:18:11 +0000 (09:18 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 07:18:11 +0000 (09:18 +0200)
commita78c0875b91a003fcc72054f8eb7986fbc2ef699
tree2b2250c790f0ae0c4060c2cdb9685021796ffe0d
parent757484aa6aaeb23e6de9e25002666f962f60a050
update isolation tables filter
web/prefs.js