You took the best advice and drained the tank ...however, I would not necessarily worry about damage from some gasoline in the diesel. I probably can't lay my hands on the manual at the moment, but my 1968 MB diesel had instructions for "winterizing" diesel fuel in extremely cold weather: cut the (no.2) fuel with "engine kerosene" ( no. 1 diesel) OR add some gasoline ...not more than some percentage (<20% as I recall) and, of course it specified low-test (least anti-knock properties inasmuch as diesels work by "knocking" ...called compression ignition).
Quite possibly, the previous user had thinned out the summer diesel with some gasoline to winterize it and that was what you smelled. This is even more likely the case insofar as it actually ran with the fuel mixture in the tank, and would not have run (I believe) with straight gasoline, whose anti-knock properties would have prevented compression ignition.
Notwithstanding, draining the tank was the prudent course ... You didn't say what you did with the fuel you drained, but following my discussion I would, on no account, put it into a gasser ...A gasoline spark ignition engine will run a bit on diesel (don't ask), but it will knock destructively.