diff options
author | dmose%mozilla.org <> | 1999-12-03 07:56:07 +0000 |
---|---|---|
committer | dmose%mozilla.org <> | 1999-12-03 07:56:07 +0000 |
commit | 69b0cad73f81af9cb0ba125fae6bdcddc6a294aa (patch) | |
tree | b59f6c680666b56ab2e1555898ef33e9cd97fde8 /globals.pl | |
parent | 054be7c4ef0b5ace9155df00654b48fafd137a3a (diff) | |
download | bugs-69b0cad73f81af9cb0ba125fae6bdcddc6a294aa.tar bugs-69b0cad73f81af9cb0ba125fae6bdcddc6a294aa.tar.gz bugs-69b0cad73f81af9cb0ba125fae6bdcddc6a294aa.tar.bz2 bugs-69b0cad73f81af9cb0ba125fae6bdcddc6a294aa.tar.xz bugs-69b0cad73f81af9cb0ba125fae6bdcddc6a294aa.zip |
special cased DUPLICATE in the make_options() sanity-checking code
Diffstat (limited to 'globals.pl')
0 files changed, 0 insertions, 0 deletions