diff make-dist @ 14362:55ffd73831cb

Use make-local-hook for post-command-hook
author Simon Marshall <simon@gnu.org>
date Thu, 25 Jan 1996 10:21:05 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff