diff configure @ 1358:53fe33b00770

Oops, typeof is not standard
author Chris Cannam
date Thu, 11 Oct 2018 18:26:30 +0100
parents 3691af49291c
children
line wrap: on
line diff