log Makefile @ 455:0567af952cfa prerelease

age author description
Sun, 19 Jun 2016 23:31:25 +0100 Giulio Moro merge prerelease
Sun, 19 Jun 2016 22:36:38 +0100 Giulio Moro Minor edits to Makefile prerelease