Have you started the car? If so, it will now be in all the fuel pumps/line/injectors.
I think the general advice would be to drain it, to be on the safe side.
That said, I have read that 2% or so by mistake should not hurt, so long as you brim with diesel immediately to keep the ratio as low as possible.