From 3f12f3246914fd3acb65ba8386dc1eb86ecc7ad1 Mon Sep 17 00:00:00 2001 From: Simon Branford Date: Tue, 4 Jul 2023 19:19:18 +0100 Subject: [PATCH] linting --- docs/policies/toolchains.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/policies/toolchains.md b/docs/policies/toolchains.md index 49adc962a..0a4851dc6 100644 --- a/docs/policies/toolchains.md +++ b/docs/policies/toolchains.md @@ -26,6 +26,7 @@ collection is added via the [robot search path][robot_search_path]. ## Example As of July 2023 the latest toolchain generation is `2023a`. + * Supported: 2022b, 2022a, 2021b, 2021a, 2020b, 2020a * Deprecated: 2019b and 2019a * Archived (and unsupported): 2018b and older