diff INSTALL @ 1372:de1d895b1cae fuzz

don't exit encountering short lines
author Matt Johnston <matt@ucc.asn.au>
date Thu, 25 May 2017 00:10:18 +0800
parents 2d943453cecf
children 8f88f4290b22
line wrap: on
line diff