diff PyExtensionManager.h @ 89:f92587bedb2c

Further small tidying
author Chris Cannam
date Thu, 10 Jan 2019 15:52:21 +0000
parents 5664fe298af2
children a6718f9fe942
line wrap: on
line diff