diff src/ocaml-core-1-fixes.patch @ 3956:125325a2a2c4

nsis-installer: delete remaining files in reboot * makeinst-script.mk: on errors removing files, prompt to delete files on reboot.
author John D
date Mon, 01 Jun 2015 21:25:04 -0400
parents 5ebcd132140a
children
line wrap: on
line diff