[IMP] devtools: Add devtools documentation

Browse Source

This commit adds the documentation for the devtools extension.

...

This commit is contained in:

Julien Carion (juca)

2023-04-06 13:18:31 +02:00

committed by Géry Debongnie

parent c0c40c0387

commit b848a83777

20 changed files with 157 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

doc/tools/screenshots/function_menu.png

BIN

Binary file not shown.

Side by Side After Width:  |  Height:  |  Size: 185 KiB