-// $Id: apt.conf,v 1.30 1999/04/11 06:46:09 jgg Exp $
+// $Id: apt.conf,v 1.31 1999/04/11 21:23:10 jgg Exp $
/* This file is an index of all APT configuration directives. It should
NOT actually be used as a real config file, though it is a completely
valid file.
};
// Some general options
- Ingore-Hold "false";
+ Ignore-Hold "false";
Immediate-Configure "true"; // DO NOT turn this off, see the man page
};