log tools/install-sh @ 7082:10c7a7a04b31

age author description
Wed, 12 Jun 2013 13:50:50 -0400 John W. Eaton use configure script to generate Makefile