diff etc/MACHINES @ 51276:5f08948e8c4b

(with-no-warnings): New function.
author Richard M. Stallman <rms@gnu.org>
date Wed, 28 May 2003 11:10:43 +0000
parents 950737d7271d
children 347fda2e0936 d7ddb3e565de
line wrap: on
line diff