diff src/.dbxinit @ 42738:ffedbfc5d749

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 14 Jan 2002 01:40:29 +0000
parents 18e524802887
children
line wrap: on
line diff