diff config.h @ 197:f5981d0ee2b4

fix typo in error message; noted by Joerg
author David A. Holland
date Sat, 05 Dec 2015 18:07:58 -0500
parents 9b859d40640a
children e200cb46ab23
line wrap: on
line diff