diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2005-02-09 12:12:46 +0000 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2005-02-09 12:12:46 +0000 |
| commit | e75f306ea9596c82e3b0c188e9b5203fc9d619da (patch) | |
| tree | a1b77c41200d67600f45fb3c06f1adc357215527 | |
| parent | 8a3642bdee1506ba77e3a6051aa498950a2e151f (diff) | |
* added gpgv::Options to configure-index
| -rw-r--r-- | doc/examples/configure-index | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index c834c49d5..3538deebd 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -142,6 +142,11 @@ Acquire UMount "sleep 500"; } }; + + gpgv + { + Options {"--ignore-time-conflict";} // not very usefull on a normal system + }; }; // Directory layout |