-
Friedemann Kleint authored
Also delete the old package before executing "make sis" to ensure that no old file lingers around should the naming change again.
Friedemann Kleint authoredAlso delete the old package before executing "make sis" to ensure that no old file lingers around should the naming change again.