diff configure @ 77696:b43e6f8f3e6e

Sync from trunk (though admin/ is not distributed, so this is not important).
author Glenn Morris <rgm@gnu.org>
date Sun, 13 May 2007 19:46:26 +0000
parents 5a10f80c77e7
children fb266235bcb8 41aaac7180d5 d7172f202ab8
line wrap: on
line diff