diff make-dist @ 19381:3ad777918b6c

(c-double-slash-is-comments-p): Remove obsolete variable.
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 Aug 1997 03:42:09 +0000
parents 2cf5e8809c8e
children 53fa6bca2c89
line wrap: on
line diff