diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-12-21 13:11:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-21 13:11:37 +0100 |
| commit | e869e3089cb5ed6ae7466086d5fe0505082dd954 (patch) | |
| tree | dadea372bc1e09f37045feaf08724685ca96596c /docs/dev | |
| parent | 06435e08efdfbc8fa19768fe17552e1339570ee0 (diff) | |
| parent | 33983809e4e2ede9caf3df12b995c6fa1e5f1d8d (diff) | |
Merge pull request #630 from not-my-profile/engine-count
[doc] say how many engines are supported / enabled
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions