diff deploy/src/archive-tip.sh @ 922:a16456ca5e71 cxx11

More type fixes. We now build with -Wconversion, on this platform (64-bit Linux) at least.
author Chris Cannam
date Tue, 10 Mar 2015 17:23:45 +0000
parents d333705f6c29
children 471b0fb002ea
line wrap: on
line diff