Tags
Tags give the ability to mark specific points in history as being important
v0.6.4
41dbeb67
·
Bump version
·
Sep 16, 2023
Release:
0.6.4
v0.6.3
09d7b060
·
Fix bad handling of strict variables
·
Apr 03, 2023
v0.6.2
7b589b45
·
Bump version
·
Apr 03, 2023
v0.6.1
b5ab9469
·
Bump version to 0.6.0
·
Mar 10, 2023
Release:
0.6.1
v0.6.0
4841348a
·
Update style to match current version of rustdoc's radio buttons
·
Jan 16, 2023
Release:
0.6.0
v0.5.0
da018b96
·
Add a feature to redirect the standard library in file: urls
·
Jul 18, 2022
Release:
v0.5.0
v0.4.2
97f76dff
·
Fix crash caused by rustdoc switching to ES6
·
May 03, 2022
Release:
0.4.2
v0.4.1
18465716
·
Fix bug caused by change in rustdoc settings
·
Feb 09, 2022
Release:
0.4.1
v0.4
53e2788e
·
Fix ordering bug between use-system-theme and theme
·
Jan 25, 2022
Release:
v0.4
v0.3
82240e80
·
Update npm deps
·
Jan 25, 2022
Release:
v0.3
v0.2
0bc193c2
·
Rename to something hopefully less spammy-looking
·
Jan 12, 2022