Diffusion Elisa 907f9ee80d0f

fix one forgotten file modification time and cleanup

Authored by astippich on Nov 11 2019, 4:54 PM.