diff --git a/doc/_static/versions.json b/doc/_static/versions.json new file mode 100644 index 00000000000..dbd19a26db7 --- /dev/null +++ b/doc/_static/versions.json @@ -0,0 +1,46 @@ +[ + { + "name": "v0.24 (devel)", + "version": "dev" + }, + { + "name": "v0.23 (stable)", + "version": "stable" + }, + { + "version": "0.22" + }, + { + "version": "0.21" + }, + { + "version": "0.20" + }, + { + "version": "0.19" + }, + { + "version": "0.18" + }, + { + "version": "0.17" + }, + { + "version": "0.16" + }, + { + "version": "0.15" + }, + { + "version": "0.14" + }, + { + "version": "0.13" + }, + { + "version": "0.12" + }, + { + "version": "0.11" + } +]