From 5c457626a8151dfa1a642c7e3abdd7e0b6a86aa5 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Mon, 8 Mar 2004 14:28:54 +0000 Subject: [PATCH] Fix buglet. --- tools/README.gpgconf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/README.gpgconf b/tools/README.gpgconf index 03fd9daa7..c0d3c7c61 100644 --- a/tools/README.gpgconf +++ b/tools/README.gpgconf @@ -330,7 +330,7 @@ Example: To set the option force, which is of basic type 0 (none). $ echo 'force:0:1' | gpgconf --change-options dirmngr To delete the option force: -$ echo 'force:16:0' | gpgconf --change-options dirmngr +$ echo 'force:16:' | gpgconf --change-options dirmngr Option --runtime