diff lib-src/pop.c @ 84964:66630159c742

(tex-fontify-script, tex-font-script-display): Add :version tag. \
author Glenn Morris <rgm@gnu.org>
date Fri, 28 Sep 2007 03:36:33 +0000
parents 1f2482de3237
children 5714ff101fd9 7ae58179773b f55f9811f5d7
line wrap: on
line diff