diff .hgignore @ 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 72c46cdfb808
children 45dd6e50fb11
line wrap: on
line diff