diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-21 09:32:05 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-21 09:32:05 +0100 |
| commit | 2311b3fe66d77d5a8ed3ce4e0878e2b7ef109bd3 (patch) | |
| tree | ef5fb968fd9ac658f45db7ad95382e32f413679a | |
| parent | 196c511c97b83a16c551f4e767f5a8b0d4f77c45 (diff) | |
doc/examples/configure-index: remove no longer used option NoConfigure
| -rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 6119d67d0..03a37287d 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -385,7 +385,6 @@ DPkg { // let apt aggressivly use dpkg triggers NoTriggers "true"; - NoConfigure "true"; ConfigurePending "true"; // Probably don't want to use force-downgrade.. |