Merge remote-tracking branch 'origin/develop' into HEAD

Signed-off-by: Niels Lohmann <mail@nlohmann.me>
2026-10-05 22:20:30 +00:00 · 2026-10-04 17:19:32 +02:00
parent 7b0af0072e d8d47be4a5
commit 351aeb7440
36 changed files with 1290 additions and 949 deletions
@@ -109,6 +109,7 @@ nav:
      - integration/cmake.md
      - integration/package_managers.md
      - integration/pkg-config.md
+      - integration/compile_times.md
  - API Documentation:
      - basic_json:
          - 'Overview': api/basic_json/index.md