diff options
author | 2022-09-19 02:15:32 +0200 | |
---|---|---|
committer | 2022-09-19 02:15:32 +0200 | |
commit | 27a9e8051b074558a302ac297ec7758044dc65fd (patch) | |
tree | 912cae8640e65a7ead1f8f35c112894fd04759c0 /docs/pages | |
parent | use a clearer name (diff) |
get rid of unnecessary check
Diffstat (limited to 'docs/pages')
0 files changed, 0 insertions, 0 deletions