Davide P. Cervone 1fe80b441a Handle <mlabeledtr> by dropping the label for now. Resolves issue #968.		2014-12-06 09:54:45 -05:00
..
config.js	First version of CommonHTML output jax	2014-07-28 17:42:51 -04:00
jax.js	Handle <mlabeledtr> by dropping the label for now. Resolves issue #968.	2014-12-06 09:54:45 -05:00