# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1264888736 28800
# Node ID c71f0d2188b25d13ea6afb18468d093654f7d8ab
# Parent  a6dabb2fc53a289ee6f2d6654806fefe0d6bc9af
eieio.texi: Remove execute bit.

diff -r a6dabb2fc53a -r c71f0d2188b2 doc/misc/eieio.texi