log match_library.py @ 62:9bd2597c8851 default tip

age author description
Thu, 06 Nov 2014 16:14:44 +0100 pieter lukasse small changes/improvements;
Tue, 21 Jan 2014 15:50:49 +0100 pieter lukasse better error message