Merge branch 'provider-proxy', remote branch 'origin'
[brisk.git] / RESTYLE.txt
2015-01-29 Matteo Nastasi ... first part of restyle