]>
| 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 | snapshot |
| parent | 7a5753a99fe479b9764670a679f2b73f9fef6c3d | commit | diff |
| docs/settings.rst | diff | blob | blame | history |