From 92015321d9533f0c50c2dee81ffb1abd9c93f019 Mon Sep 17 00:00:00 2001 From: github-actions Date: Wed, 29 Jun 2022 08:42:28 +0000 Subject: [PATCH] Update main documentation --- main/ChangeLog_pg.html | 2 ++ main/footer.js | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/main/ChangeLog_pg.html b/main/ChangeLog_pg.html index eb8b95d7..7805b81a 100644 --- a/main/ChangeLog_pg.html +++ b/main/ChangeLog_pg.html @@ -111,6 +111,8 @@ $(document).ready(function(){initNavTree('ChangeLog_pg.html','');}); Version Description +1.10.2 Improvements to the github workflow + 1.10.1 First release with new repository diff --git a/main/footer.js b/main/footer.js index d76d29c7..c122ba12 100644 --- a/main/footer.js +++ b/main/footer.js @@ -1,7 +1,7 @@ function writeHeader() { - document.write('Version 1.10.2-dev2+g0db9178'); + document.write('Version 1.10.3-dev1+g8a30e18'); }; function writeFooter() { - document.write('Generated on Wed Jun 29 2022 07:33:50 for CMSIS-DSP 1.10.2-dev2+g0db9178. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); + document.write('Generated on Wed Jun 29 2022 08:41:55 for CMSIS-DSP 1.10.3-dev1+g8a30e18. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); };