mii/tokenizers
1
0
Fork 0
mirror of https://github.com/mii443/tokenizers.git synced 2025-08-31 04:29:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Doc - Fix default version

Browse Source
This commit is contained in:
Anthony MOI
2020-10-05 15:30:22 -04:00
committed by Anthony MOI
parent 799954973d
commit 1da10c17ef
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/_static/js/custom.js
View File

@ -104,12 +104,12 @@ function addGithubButton() {
function addVersionControl() {
// Default language and version
let language = defaultLanguage;
let version = stableVersion[language];
// To grab the version currently in view, we parse the url
let parts = location.pathname.split('/');
const languageIndex = parts.findIndex((part) => languages.includes(part));
language = parts[languageIndex];
let version = stableVersion[language];
const versionIndex = languageIndex + 1;
// If a version is specified, update it