diff .hgignore @ 1776:5750b9e60818

Don't even ask to unload a library if we know about other plugins that are loaded from it. Plus debug tweaks
author Chris Cannam
date Mon, 09 Sep 2019 10:25:16 +0100
parents ba986753c3dd
children
line wrap: on
line diff