Michael Panchenko 99925447ea Evaluation, WIP

2026-04-12 15:16:16 +02:00

..

_static/images

Add custom JetBrains marketplace button image (works in both light & dark modes)

2025-12-18 19:25:53 +01:00

01-about

Merge branch 'main' into v1.1-develop

2026-04-11 15:27:38 +02:00

02-usage

Merge branch 'main' into v1.1-develop

2026-04-11 15:27:38 +02:00

03-special-guides

Adjust documentation to use uv tool installation as the main way of running things

2026-04-07 17:36:44 +02:00

04-evaluation

Evaluation, WIP

2026-04-12 15:16:16 +02:00

_config.yml

Auto-generate the tool list in the documentation

2026-03-15 17:26:20 +01:00

.gitignore

Use redirect instead of copy for index file

2025-11-09 14:23:01 +01:00

autogen_docs.py

Restore links to quick start guide, updating the docs autogen build script

2026-04-11 16:54:45 +02:00

create_toc.py

Use redirect instead of copy for index file

2025-11-09 14:23:01 +01:00

index.md

Use redirect instead of copy for index file

2025-11-09 14:23:01 +01:00