From a4b99e340285803bab71442a41c23bfdc3c2344f Mon Sep 17 00:00:00 2001 From: github-actions Date: Mon, 19 Aug 2024 09:42:41 +0000 Subject: [PATCH] Update documentation for branch main --- main/footer.js | 4 ++-- version.js | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/main/footer.js b/main/footer.js index fb3c818c..403b5473 100644 --- a/main/footer.js +++ b/main/footer.js @@ -1,7 +1,7 @@ function writeHeader() { - document.write('Version 11.1.1-dev2'); + document.write('Version 11.1.1-dev3'); }; function writeFooter() { - document.write('Generated on Thu May 30 2024 08:47:58 for CMSIS-FreeRTOS 11.1.1-dev2+gba82e7e. Copyright © 2024 Arm Limited (or its affiliates). All rights reserved.'); + document.write('Generated on Mon Aug 19 2024 09:42:27 for CMSIS-FreeRTOS 11.1.1-dev3+g533ca44. Copyright © 2024 Arm Limited (or its affiliates). All rights reserved.'); }; diff --git a/version.js b/version.js index 64995682..8db7b5b0 100644 --- a/version.js +++ b/version.js @@ -1,6 +1,6 @@ //--- list of versions --- const versions = { - "main": "11.1.1-dev2", + "main": "11.1.1-dev3", "latest": "11.1.0", "v11.0.1": "11.0.1", "v10.5.1": "10.5.1"