diff .hgignore @ 130:934843ee4434

Minor user interface tweaks
author Daniele Nicolodi <daniele.nicolodi@obspm.fr>
date Tue, 17 Dec 2013 15:34:15 +0100
parents 72c46cdfb808
children 45dd6e50fb11
line wrap: on
line diff