]>
author | Jan-Piet Mens <jp@mens.de> | |
Tue, 16 May 2023 18:07:10 +0000 (20:07 +0200) | ||
committer | GitHub <noreply@github.com> | |
Tue, 16 May 2023 18:07:10 +0000 (20:07 +0200) | ||
commit | 291075fac264b0cc35eb6c51777d4357e0dadfcc | |
tree | d660f796942d75ca34c9d0dee83e07327b35be5c | tree |
parent | 7a5753a99fe479b9764670a679f2b73f9fef6c3d | commit | diff |
docs/settings.rst | diff | blob | blame | history |