diff options
| author | Alexandre Flament <alex@al-f.net> | 2022-07-18 08:38:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-18 08:38:21 +0200 |
| commit | 4d9772690751bde13f51712dcc1eac4c463dc506 (patch) | |
| tree | f89aaa941e8c783f91a3e2394afbec7fbda21be6 /docs/src | |
| parent | 7bf4e8d12d1d0ee53bf71f7c3a4010ef936f25d9 (diff) | |
| parent | d339e97727b5aee132b5e38d2ebb2ab33ac3f16f (diff) | |
Merge pull request #1518 from tiekoetter/fix-preferences
[fix] preferences: missing option value
Diffstat (limited to 'docs/src')
0 files changed, 0 insertions, 0 deletions