diff configure @ 12936:662377ccbc53

applied old patch that was missing an include...
author reimar
date Mon, 02 Aug 2004 15:02:35 +0000
parents e31bab90b91c
children d7e2549b377a
line wrap: on
line diff