[project @ 2001-04-24 19:10:26 by doogie]

[debbugs.git] / scripts / config.debian

diff --git a/scripts/config.debian b/scripts/config.debian
index 93dbb88ee7406d7af9aa4ed101cc0aa8e337c15c..59266a9d23c8d326a547f420f6981bb5c62a2c0f 100644 (file)
--- a/scripts/config.debian
+++ b/scripts/config.debian
@@ -1,5 +1,5 @@
 # This is the bugs.debian.org debbugs configuration file.
-# $Id: config.debian,v 1.10 2000/12/05 22:20:15 joy Exp $
+# $Id: config.debian,v 1.11 2001/04/24 19:10:26 doogie Exp $
 
 # Domains
 $gEmailDomain = "bugs.debian.org";
@@ -68,4 +68,5 @@ $gAJIndex = "/debian/home/ajt/ajbug/pkgindex";                # AJ's package index
 
 # Required data files
 $gMaintainerFile = "$gConfigDir/Maintainers";
+$gMaintainerFileOverride = "$gConfigDir/Maintainers.override";
 $gPseudoDescFile = "$gConfigDir/pseudo-packages.description";