diff options
author | Matteo Bernardini <ponce@slackbuilds.org> | 2023-07-06 15:11:02 +0200 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-07-08 16:42:13 +0700 |
commit | d9c6c1ccd95064088195fcd20f3c24c6350f96c8 (patch) | |
tree | 8354b0ba1b5c251abfdee6062d42dc4f71012fc9 /python/python3-prompt_toolkit | |
parent | fcdedd4cecaf685e44ac1d20e207b9be1289021c (diff) |
libraries/serd: Make docs building optional.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'python/python3-prompt_toolkit')
0 files changed, 0 insertions, 0 deletions