renamed all 'btn_prefs_' buttons strings to 'btn_'
[brisk.git] / RESTYLE.txt
2015-01-29 Matteo Nastasi ... first part of restyle