diff make-dist @ 66438:71a815b63b2b

(browse-url-of-buffer): Add ".html" to filename.
author Reiner Steib <Reiner.Steib@gmx.de>
date Tue, 25 Oct 2005 13:18:52 +0000
parents 28718fa5d988
children 2cadd1e7bd46 0ca0d9181b5e
line wrap: on
line diff