del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

1
2
3
4
5
6
7
8
9
10
11
{
  "curly" : false,
  "predef" : [ "$","libtoaster", "prettyPrint" ],
  "eqnull": true,
  "plusplus" : false,
  "browser" : true,
  "jquery" : true,
  "devel" : true,
  "unused" : true,
  "maxerr" : 60
}