dkahle put figures in tools/ instead of figures/
ddc32c6 May 7, 2017
put figures in tools/ instead of figures/
ddc32c6