(bug 15761) Add user toggle to omit diff after rollback. Patch by FunPika.
[lhc/web/wiklou.git] / math / render_info.mli
2003-04-14 Lee Daniel CrockerInitial revision