diff scripts/deprecated/module.mk @ 12498:294c0927c762

Deprecate is_duplicate_entry.
author Rik <octave@nomad.inbox5.com>
date Thu, 03 Mar 2011 09:46:00 -0800
parents b7d0d6044bd7
children 88558b8eb8a7
line wrap: on
line diff
--- a/scripts/deprecated/module.mk	Thu Mar 03 09:29:04 2011 -0800
+++ b/scripts/deprecated/module.mk	Thu Mar 03 09:46:00 2011 -0800
@@ -11,6 +11,7 @@
   deprecated/gammai.m \
   deprecated/glpkmex.m \
   deprecated/intwarning.m \
+  deprecated/is_duplicate_entry.m \
   deprecated/is_global.m \
   deprecated/isstr.m \
   deprecated/krylovb.m \