Do not use msg_warning_text etc.
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 20 Jun 2013 19:57:24 +0000 (21:57 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 20 Jun 2013 19:57:24 +0000 (21:57 +0200)
commit24b2895b5edad9feef2bc0b6ab19062caafa4bf3
treee578263d102035d18500bab50e24cb30cdb2b3dd
parent54c4e0b1be8e344ae608fc0c660632ae3d0d5910
Do not use msg_warning_text etc.
conteq.dtx