Weave.jl/versions.js

11 lines
106 B
JavaScript
Raw Normal View History

2019-03-04 14:22:34 +01:00
var DOC_VERSIONS = [
"stable",
2020-05-19 17:23:40 +02:00
"v0.10",
2019-03-11 15:31:37 +01:00
"v0.9",
2019-03-06 10:09:09 +01:00
"v0.8",
2019-03-04 14:22:34 +01:00
"v0.4",
"v0.3",
"v0.2",
"dev",
];