comparison configure1.in @ 15759:e74f36ff89e7

Explain how deletion of process doesn't affect process mark.
author Richard M. Stallman <rms@gnu.org>
date Tue, 23 Jul 1996 15:35:12 +0000
parents c1e70445780e
children
comparison
equal deleted inserted replaced
15758:7e712d42d371 15759:e74f36ff89e7