diff scripts/miscellaneous/dump_prefs.m @ 2853:ff4ee9ad942a

[project @ 1997-03-28 22:21:25 by jwe]
author jwe
date Fri, 28 Mar 1997 22:22:08 +0000
parents 8b262e771614
children 7f7228c0e658
line wrap: on
line diff
--- a/scripts/miscellaneous/dump_prefs.m
+++ b/scripts/miscellaneous/dump_prefs.m
@@ -68,7 +68,6 @@
   dump_1_pref (file, "split_long_rows");
   dump_1_pref (file, "treat_neg_dim_as_zero");
   dump_1_pref (file, "warn_assign_as_truth_value");
-  dump_1_pref (file, "warn_comma_in_global_decl");
   dump_1_pref (file, "warn_divide_by_zero");
 
 endfunction