03b3cdb5dbMerge branch 'master' of https://github.com/Spuds/playpen
12 anni fa
Spuds
a36ef57476! 4677: Text string "stars" and image name (star*.gif) needs change. So much ugliness to keep the code consistent with the name change ... stars is now icons, everywhere I hope.
12 anni fa
emanuele
1dd5b86f80Added support for denied boards to the reports...heck why are so hidden!