do not worry. a small amount will cause no great harm as long as it is 'thinned out' with diesel as soon as possible. many diesel users add up to 10% petrol to their diesel in the winter to prevent waxing in cold weather. I DO NOT RECCOMEND THIS but point out it does no harm.
al non, October 2011
depends...if its a small amount of petrol,then fill with diesel and run it thru,if its a lot then drain it out.You may be able to disconnect the fuel lines under the car to save trying to remove the tank and drain that way.