Weave.jl/versions.js

9 lines
85 B
JavaScript
Raw Normal View History

2019-03-04 14:22:34 +01:00
var DOC_VERSIONS = [
"stable",
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",
];