diff admin/build-configs @ 75244:8dfe487a552a

(Editing Abbrevs): Describe how to disable a system abbrev.
author Glenn Morris <rgm@gnu.org>
date Tue, 16 Jan 2007 00:38:24 +0000
parents ddcbd2c1b70d
children 3d45362f1d38 f1d13e615070
line wrap: on
line diff