diff configure @ 564:c0b03e395215

Fix hardcoded file extension for session file
author Chris Cannam
date Mon, 18 Feb 2019 14:34:04 +0000
parents aec36277d870
children 21c4b4c4963b
line wrap: on
line diff