renamed all 'btn_prefs_' buttons strings to 'btn_'
[brisk.git] / web / json2.js
2013-02-04 Matteo Nastasi ... json2.js file added