diff CITATION @ 29936:79c6a29dd384

pkg: Better warning messages for packages not being uninstalled (bug #31946). * scripts/pkg/private/uninstall.m: Add warnings for packages not uninstalled because they are global or not found. Fix pkg uninstall not installing any packages if some could not be found. Minor overhaul of coding style.
author Neeraj Battan <neeraj.battan@research.iiit.ac.in>
date Thu, 17 Mar 2016 10:50:22 +0530
parents 844b3b9bab7a
children 8d7671609955
line wrap: on
line diff