doc/tools/pyjsrest.py
changeset 9661 c170ec8a4525
parent 9291 4894bb92558a
child 10067 16c554c76eb4
equal deleted inserted replaced
9660:a78efec4cf04 9661:c170ec8a4525
   140 ]
   140 ]
   141 
   141 
   142 FILES_TO_IGNORE = set([
   142 FILES_TO_IGNORE = set([
   143     'jquery.js',
   143     'jquery.js',
   144     'jquery.treeview.js',
   144     'jquery.treeview.js',
   145     'jquery.json.js',
       
   146     'jquery.tablesorter.js',
   145     'jquery.tablesorter.js',
   147     'jquery.timePicker.js',
   146     'jquery.timePicker.js',
   148     'jquery.flot.js',
   147     'jquery.flot.js',
   149     'jquery.corner.js',
   148     'jquery.corner.js',
   150     'jquery.ui.js',
   149     'jquery.ui.js',