Sun, 09 Oct 2011 23:31:50 +0200merge
Edouard Tisserant [Sun, 09 Oct 2011 23:31:50 +0200] rev 570
merge

Sun, 09 Oct 2011 23:31:13 +0200Changed F5 shortcut to CTRL+R for refresh
Edouard Tisserant [Sun, 09 Oct 2011 23:31:13 +0200] rev 569
Changed F5 shortcut to CTRL+R for refresh