diff make-dist @ 2739:8bb3e2a87cbb

Use pushdef and popdef, instead of saving the macro's value in a variable.
author Jim Blandy <jimb@redhat.com>
date Mon, 10 May 1993 23:58:36 +0000
parents e0f465034c62
children 4dae9952e40f
line wrap: on
line diff