diff future.h @ 132:fbd72d87b4dc

Support graceful intrerruption of N3 measurement. Minor user interface fixes
author Daniele Nicolodi <daniele.nicolodi@obspm.fr>
date Tue, 17 Dec 2013 17:21:17 +0100
parents 4102fe614df2
children b955e35c07ae
line wrap: on
line diff