diff options
| author | Paul Braeuning <paul@paulgo.io> | 2022-03-19 20:22:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-19 20:22:00 +0100 |
| commit | be8d2f494955949494afc4ad8a23a57785e85180 (patch) | |
| tree | 7c9061861841f91816733e0d50e549e1538515d9 /docs/dev/engine_overview.rst | |
| parent | c3c2a623fe054ee38a251a0bd5ac0c82efbc469a (diff) | |
| parent | 076c6889d3b6ac3671bca16bb251f9f31c7191b6 (diff) | |
Merge pull request #989 from return42/fix-945
[fix] simple theme: open preferences with general tab
Diffstat (limited to 'docs/dev/engine_overview.rst')
0 files changed, 0 insertions, 0 deletions