diff src/number-gmp.h @ 4268:75d0292c1bff

[xemacs-hg @ 2007-11-14 19:41:04 by aidan] Correct the dumped information for the Unicode JIT infrastructure.
author aidan
date Wed, 14 Nov 2007 19:41:09 +0000
parents ee35a8fdcfcd
children 2fc0e2f18322
line wrap: on
line diff