Fixes download 23-rc1 file names

02785cd7 · Allan Blanchard · 8e0f8ba2 · 02785cd7 · 02785cd7 · 02785cd7
Commit 02785cd7 authored Jun 22, 2021 by Allan Blanchard
--- a/download/acsl-implementation-23.0~rc1-Vanadium.pdf
+++ b/download/acsl-implementation-23.0~rc1-Vanadium.pdf
--- a/download/aorai-example-23.0~rc1-Vanadium.tgz
+++ b/download/aorai-example-23.0~rc1-Vanadium.tgz
--- a/download/aorai-manual-23.0~rc1-Vanadium.pdf
+++ b/download/aorai-manual-23.0~rc1-Vanadium.pdf
--- a/download/e-acsl/e-acsl-implementation-23.0~rc1-Vanadium.pdf
+++ b/download/e-acsl/e-acsl-implementation-23.0~rc1-Vanadium.pdf
--- a/download/e-acsl/e-acsl-manual-23.0~rc1-Vanadium.pdf
+++ b/download/e-acsl/e-acsl-manual-23.0~rc1-Vanadium.pdf
--- a/download/eva-manual-23.0~rc1-Vanadium.pdf
+++ b/download/eva-manual-23.0~rc1-Vanadium.pdf
--- a/download/metrics-manual-23.0~rc1-Vanadium.pdf
+++ b/download/metrics-manual-23.0~rc1-Vanadium.pdf
--- a/download/plugin-development-guide-23.0~rc1-Vanadium.pdf
+++ b/download/plugin-development-guide-23.0~rc1-Vanadium.pdf
--- a/download/rte-manual-23.0~rc1-Vanadium.pdf
+++ b/download/rte-manual-23.0~rc1-Vanadium.pdf
--- a/download/user-manual-23.0~rc1-Vanadium.pdf
+++ b/download/user-manual-23.0~rc1-Vanadium.pdf
--- a/download/wp-manual-23.0~rc1-Vanadium.pdf
+++ b/download/wp-manual-23.0~rc1-Vanadium.pdf