From ac33ddde943cb80af678fcf6232a37356bbf338c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Mon, 6 Jul 2026 13:16:26 +0200 Subject: [PATCH] doc: re-order Rocq section alphabetically --- doc/languages-frameworks/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/languages-frameworks/index.md b/doc/languages-frameworks/index.md index 6e2438ebcb6a..8792537a3e33 100644 --- a/doc/languages-frameworks/index.md +++ b/doc/languages-frameworks/index.md @@ -56,7 +56,6 @@ android.section.md astal.section.md beam.section.md chicken.section.md -rocq.section.md cosmic.section.md crystal.section.md cuda.section.md @@ -92,6 +91,7 @@ pkg-config.section.md python.section.md qt.section.md r.section.md +rocq.section.md ruby.section.md rust.section.md scheme.section.md