</font><font color="blue" class="small">( whats the routine for gas in diesel engine )</font>
If she shut it down quickly enough you may not have any damage. First step is to drain everything, fuel tank, fuel lines, and fuel filter. Then put in a new fuel filter, or wash the old one in diesel and reinstall it, and fill the fuel tank with diesel. Now maybe someone will give you more or better instructions, but that's what I'd do and then try starting it. I might loosen the lines at the injectors first and hit the starter to flush the last bit of gasoline and air from the lines before starting it.
One cold winter night a few years ago, my brother was accustomed to refueling his Cat powered truck at a particular station that had gasoline and diesel in the same pump; just a different hose. So he was used to grabbing the hose on the left to fill up. That night, there was another vehicle at the pump where he usually pulled in, so he pulled in on the other side of the pump, left the engine running, grabbed the left hose and started filling it (he forgot that on the other side of the pump, the right hose is diesel). When the truck started to run rough, it dawned on him what he'd done and he promptly shut everything down and called me to come help. By the time I loaded a 55 gallon barrel and my barrel pump in my pickup and drove 40 miles to where he was, he had already emptied the fuel filter and refilled it with diesel, so we pumped out the gas/diesel mixture from the tanks into the barrel, refueled with diesel and everything was OK. It did run just a little rough for a few seconds when he restarted it, but then smoothed out and he never had a problem with the truck.