diff Makefile @ 1544:5f80ec319a4f

If a user is removed or renamed kill her/his schedule. Needs more case on renaming.
author Sascha L. Teichmann <sascha.teichmann@intevation.de>
date Mon, 10 Dec 2018 13:17:50 +0100
parents 77202406b1a7
children f7a32b0b9235
line wrap: on
line diff