do_copy_newtalk_to_watchlist() is not called anymore since ages (r9674), so remove it
[lhc/web/wiklou.git] / math / html.mli
2003-04-14 Lee Daniel CrockerInitial revision