log scripts/deprecated/__error_text__.m @ 14138:72c96de7a403 stable

age author description
Mon, 02 Jan 2012 14:25:41 -0500 John W. Eaton maint: update copyright notices for 2012 stable
Wed, 25 May 2011 14:09:00 -0700 Rik Deprecate error_text(), __error_text__()