My old mans just put a tenners worth of unleaded in his 1993 escort non turbo diesel van, he then put £20 of diesel in with the unleaded thinking it will be okay and do it no harm?? It starts and that will it be ok ?

Thanks