diff .hgtags @ 1138:05ed51332340

[xemacs-hg @ 2002-12-03 11:01:40 by didierv] Fixes in two texi files
author didierv
date Tue, 03 Dec 2002 11:01:44 +0000
parents 344557e517dc
children dd9030354e14 e56f73345619
line wrap: on
line diff