diff options
| author | Endi S. Dewata <edewata@redhat.com> | 2017-05-20 04:06:17 +0200 |
|---|---|---|
| committer | Endi S. Dewata <edewata@redhat.com> | 2017-05-20 04:18:13 +0200 |
| commit | 62841380c6400023cf973e273ab974352885fabd (patch) | |
| tree | 92f1880ed2f5a2e4604d3bcc85baac0f410870da /base/java-tools/src | |
| parent | f30be692453ccb323f874e5a751e2381cbb4ebb0 (diff) | |
| download | pki-62841380c6400023cf973e273ab974352885fabd.tar.gz pki-62841380c6400023cf973e273ab974352885fabd.tar.xz pki-62841380c6400023cf973e273ab974352885fabd.zip | |
Fixed problem with --ignore-banner option.
The pki CLI has been modified to parse the --ignore-banner option
properly and pass it only to Java-based CLI commands.
https://pagure.io/dogtagpki/issue/2683
Change-Id: Ifc3e98f74682a2fb4daeea16e86f495515a2d1f5
Diffstat (limited to 'base/java-tools/src')
0 files changed, 0 insertions, 0 deletions