log repoint-lock.json @ 1900:a3cd06d89a45

age author description
Tue, 26 Jun 2018 14:38:23 +0100 Chris Cannam Property box pushbutton fix for Mac
Tue, 26 Jun 2018 08:36:16 +0100 Chris Cannam Level-pan rendering fix
Mon, 25 Jun 2018 15:31:05 +0100 Chris Cannam Improved level-pan widget rendering