diff repoint-lock.json @ 2067:c643094e4709

Use a slightly more compact dialog (esp on Mac)
author Chris Cannam
date Fri, 02 Nov 2018 14:42:48 +0000
parents 1e43d01f4172
children 5934b639aff0
line wrap: on
line diff