aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-10-19starting optimizing the code before going furtherRobert Alessi
2016-08-26tidy up a bit the codeRobert Alessi
2016-08-17compute linelabels and linerefs with md5sumRobert Alessi
2016-08-15initial project versionRobert Alessi