diff src/intervals.c @ 9828:e78a12b9ef41

* man.el (Man-reuse-okay-flag): Deleted. (man, Man-getpage-in-background): Second arg deleted. References to Man-reuse-okay-flag deleted. (Man-follow-manual-reference): First arg deleted. Call Man-getpage-in-background with one argument only.
author Francesco Potortì <pot@gnu.org>
date Mon, 07 Nov 1994 12:13:16 +0000
parents 33942ce702fa
children 9d72d79329c3
line wrap: on
line diff