diff options
| author | David Czihak <git@dcz.at> | 2026-05-08 03:12:09 +0200 |
|---|---|---|
| committer | David Czihak <git@dcz.at> | 2026-05-08 03:12:09 +0200 |
| commit | d0436c0121254380e24cf4c99a61472377195d65 (patch) | |
| tree | 3aaabad7c0d89a2d9802641d6b751409f76ca05e /Scripts/main.js | |
| parent | b9d713336bd4fdc5e40899257b1fe7a356ca8dcf (diff) | |
Chore: Add user manual
The manual has been generated based on the current state of the extension source code. I intend to improve it in the future, but since the new task system has so many features, I want them documented somewhere.
Diffstat (limited to 'Scripts/main.js')
0 files changed, 0 insertions, 0 deletions