diff configure @ 27816:e05a9299b946

We now require GNU make 3.81.
author diego
date Wed, 29 Oct 2008 22:42:34 +0000
parents 2988c38b6620
children dedacb09ed45
line wrap: on
line diff