On 3/4/14, Walter Bright <newshound2 at digitalmars.com> 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).