Update main documentation

pull/35/head
github-actions 3 years ago
parent 25efe32072
commit 9293970565

@ -1,7 +1,7 @@
function writeHeader() {
document.write('Version 1.10.2-dev3');
document.write('Version 1.10.2-dev4');
};
function writeFooter() {
document.write('Generated on Mon Jul 11 2022 13:22:11 for CMSIS-DSP 1.10.2-dev3+gae24b87. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
document.write('Generated on Tue Jul 12 2022 08:11:06 for CMSIS-DSP 1.10.2-dev4+g7cd6cf1. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
};

@ -1,6 +1,6 @@
//--- list of versions ---
const versions = {
"main": "1.10.2-dev3",
"main": "1.10.2-dev4",
"latest": "1.10.1"
}
//--- list of versions ---

Loading…
Cancel
Save