diff lib-src/vcdiff @ 12305:ef63ac5fcd2e

(texinfo-environment-regexp): Add @ifhtml, @html.
author Richard M. Stallman <rms@gnu.org>
date Sun, 18 Jun 1995 16:45:20 +0000
parents 7124a811b67b
children da322c027bf0
line wrap: on
line diff