Closed rikedyp closed 2 years ago
https://dyalog.github.io/link and https://dyalog.github.io/link/latest will now redirect to 3.0 https://dyalog.github.io/link/dev will redirect to whatever is produced as a result of the latest commit to the master branch.
https://dyalog.github.io/link and https://dyalog.github.io/link/latest will now redirect to 3.0 https://dyalog.github.io/link/dev will redirect to whatever is produced as a result of the latest commit to the master branch.