diff make-dist @ 10642:0e6b71f2ebad

* man.el (Man-default-man-entry): Remove text properties from result.
author Francesco Potortì <pot@gnu.org>
date Fri, 03 Feb 1995 12:07:37 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff