diff configure @ 402:f7dddea0dbe0

Fix #1047 Floating-point exception on exit if no file loaded
author Chris Cannam
date Mon, 01 Sep 2014 16:50:26 +0100
parents b3b673d133a0
children 7a671befc76d
line wrap: on
line diff