update isolation tables filter [2]
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 07:20:15 +0000 (09:20 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Fri, 17 Apr 2020 07:20:15 +0000 (09:20 +0200)
commit4fe1e0f5ccbb5e0b74b04f339a22c21d9dde0ed1
tree8f93b2a548dd535817b58a3f59e36d776710673d
parenta78c0875b91a003fcc72054f8eb7986fbc2ef699
update isolation tables filter [2]
web/prefs.js