diff doc/misc/semantic.texi @ 108218:d3dcd602c617

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Sun, 02 May 2010 19:15:26 -0700
parents f412ff4a9f03
children f1266b2f017e
line wrap: on
line diff