http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45766
Joost VandeVondele <Joost.VandeVondele at pci dot uzh.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Joost.VandeVondele at pci
| |dot uzh.ch
--- Comment #7 from Joost VandeVondele <Joost.VandeVondele at pci dot uzh.ch>
2010-09-24 06:27:25 UTC ---
(In reply to comment #5)
> You have to shift+reload to clear the old CSS files from your browser cache.
not quite intuitive, but works great...
--
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
