diff options
| author | Donald Sharp <sharpd@nvidia.com> | 2023-02-02 16:28:27 -0500 |
|---|---|---|
| committer | Mergify <37929162+mergify[bot]@users.noreply.github.com> | 2023-02-16 20:07:41 +0000 |
| commit | 6df8da715bcc49c32f624002210f3599c577852c (patch) | |
| tree | 34e3cc951899af77ddf959654e22a703fc63be6d /doc/manpages/conf.py | |
| parent | 68c8001d418e4e43c81cc32d1958a8ea089cc67d (diff) | |
lib: Fix non-use of option
Commit d7c6467ba2f55d1055babbb7fe82716ca3efdc7e added the
ability to specify non pretty printing but unfortunately
forgot to use the option variable to make the whole
thing work.
Signed-off-by: Donald Sharp <sharpd@nvidia.com>
(cherry picked from commit 00b0bb99ae9fb6cd003d3e38c4760d1fd59ab545)
Diffstat (limited to 'doc/manpages/conf.py')
0 files changed, 0 insertions, 0 deletions