diff leim/CXTERM-DIC/Punct.tit @ 38798:15f5a37cdf42

(desktop-save): Insert the coding: tag before desktop-header.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 13 Aug 2001 10:37:02 +0000
parents 4c1654cc8388
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff