diff options
author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-01-21 14:45:56 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-01-21 14:48:06 +0100 |
commit | 7a109d053fef7cc95be30c16e10528c7ae86d167 (patch) | |
tree | 62d22240d957f06a4389b75473d0fa5d35d0a0eb /src | |
parent | b9d2c7466f1e23105a87dd133ead5911de7277f8 (diff) | |
download | gnutls-7a109d053fef7cc95be30c16e10528c7ae86d167.tar.gz |
certtool: corrected texinfo output for krb5_principal
Diffstat (limited to 'src')
-rw-r--r-- | src/certtool-args.def | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/certtool-args.def b/src/certtool-args.def index 199801cd74..47549fb05f 100644 --- a/src/certtool-args.def +++ b/src/certtool-args.def @@ -772,8 +772,8 @@ expiration_days = 700 #xmpp_name = juliet@im.example.com # Names used in PKINIT -#krb5_principal = user@REALM.COM -#krb5_principal = HTTP/user@REALM.COM +#krb5_principal = user@@REALM.COM +#krb5_principal = HTTP/user@@REALM.COM # A subject alternative name URI #uri = "http://www.example.com" |