diff etc/compilation.txt @ 94023:1841ac94b011

(define-obsolete-variable-alias): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Sat, 12 Apr 2008 03:13:27 +0000
parents 16e08abf25d2
children dfff53b237c4
line wrap: on
line diff