diff configure @ 71910:4d20372178f6

Checked anti.texi.
author Kim F. Storm <storm@cua.dk>
date Fri, 14 Jul 2006 23:40:43 +0000
parents 4cf82eeaf30f
children 85a9d581baa6 02e39decdc84 8a8e69664178
line wrap: on
line diff