diff .hgignore @ 602:13b0abef20e0

Ensure plugin libraries are produced with the right names
author Chris Cannam
date Mon, 30 Sep 2019 12:51:03 +0100
parents dd344309667f
children 40cc49380398 fe1a77d4aeaa
line wrap: on
line diff