diff configure.in @ 107057:c71f0d2188b2

eieio.texi: Remove execute bit.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Jan 2010 13:58:56 -0800
parents 905212a81527
children bd6485c5bd3d
line wrap: on
line diff