diff options
author | Aleksey Kladov <[email protected]> | 2021-06-12 13:10:07 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2021-06-12 13:10:07 +0100 |
commit | 787d980c712e0a9a41b63f44fa075e9bf9497746 (patch) | |
tree | c32214c7a0f30d3ad2f6a641425fac10bf0053dd /docs/user/manual.adoc | |
parent | 409f5fb563bfc992e4d05245d5c17e77ff8e2762 (diff) |
minor: squelch "unused" warning
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions