www

commit b58c14b5573597dcbc177515951eb1ff0d30c875
parent f8d42155194f2184dadc2e433661b8a4310d81be
Author: Frédéric Wang <fred.wang@free.fr>
Date:   Thu, 31 Jan 2013 10:54:54 +0100

Replace "decimal" by "decimalsign" in AsciiMath input jax. Fix issue 384.

Diffstat:
M
unpacked/jax/input/AsciiMath/jax.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/input/AsciiMath/jax.js b/unpacked/jax/input/AsciiMath/jax.js
@@ -1193,7 +1193,7 @@ ASCIIMATH.Augment({
   AM: {
     Init: function () {
       displaystyle = ASCIIMATH.config.displaystyle;
-      decimal      = ASCIIMATH.config.decimal;
+      decimalsign  = ASCIIMATH.config.decimal;
       INITASCIIMATH();
       AMinitSymbols();
     },