If it's an older Deli car then it will have the ordinary old injector pump and injectors.
If it was still driving then there was still some diesel in the fuel mix, probably enough to prevent any damage, unless she is a total rev head and came up the drive with 4000RPM on the tacho.
Do what you said, empty fuel tank, empty filter bowls and replace filters, etc.
THEN... and important!
crack the connector nuts to the injectors so they are slightly loose.
Wrap some old undies around each loose connector.
Crank over the starter motor to pump out fuel from the loose connectors.
When the fuel coming out smells mostly of diesel, not petrol, then tighten the connector nuts and all should be good.
Oh,.. and remove undies. (off the injector connections,.. not off you. )
If the injector nuts are hard to get at, you can crack the connections at the injector pump, but better done at the injectors.
DANGER.
ANY FUEL SMELLING OF PETROL WILL BE HIGHLY FLAMABLE.
Be careful of any arcs and sparks or you will set yourself and/or your Deli car on fire.
(i.e. don't smoke while you are doing it.)
I would be very surprised if any damage has been done so far, and if you do this right none will be done.
Don't get rid of the wife,. I mean car, over such a minor problem.

Just thinking, you probably don't even need to crack all injector pipes nuts. Just one or two might be enough. I've bled air out of diesel injector systems many times just cracking one connection.