On 3/4/14, Walter Bright <[email protected]> wrote:
> Perhaps refresh your browser cache?

Yeah I had to CTRL+F5 instead of F5, thanks. (I really don't
understand why browsers have to be stupid-by-default instead of
useful-by-default).

Reply via email to