diff INSTALL @ 922:3a32abe076fc coverity

Don't 'make install' for coverity
author Matt Johnston <matt@ucc.asn.au>
date Sat, 08 Mar 2014 21:00:32 +0800
parents 2d943453cecf
children 8f88f4290b22
line wrap: on
line diff