Serial
|
08431cd17e
|
Update highlight.js
|
2022-07-13 14:04:20 -04:00 |
|
Serial
|
0fd03a85de
|
Strip clippy:: prefix from search strings
|
2022-05-22 15:24:47 -04:00 |
|
Serial
|
569505cebd
|
Auto-detect preferred colorscheme
|
2022-05-19 18:33:16 -04:00 |
|
Serial
|
e05da56d6b
|
textContent -> innerHTML
|
2022-05-18 15:37:05 -04:00 |
|
Serial
|
8aae26b227
|
innerHTML -> textContent
|
2022-05-18 15:01:02 -04:00 |
|
Serial
|
27fec01fa8
|
Add copy lint name button
|
2022-05-18 10:19:50 -04:00 |
|
Serial
|
f112e4d445
|
Improve appearance on smaller screens
|
2022-05-15 12:43:35 -04:00 |
|
Serial
|
b81d703970
|
Use early returns
|
2022-05-15 11:30:00 -04:00 |
|
Serial
|
a30587e0fe
|
Switch input to type=number; Separate version validation out of byVersion
|
2022-05-14 20:08:10 -04:00 |
|
Serial
|
4ed52bf13e
|
Use CamelCase; Fix filter ranges
|
2022-05-05 18:27:56 -04:00 |
|
Serial
|
2c70af3cd5
|
Only require minor version
|
2022-05-03 18:12:31 -04:00 |
|
Serial
|
9173780568
|
Make filters implicit; Update symbols
|
2022-04-29 19:57:16 -04:00 |
|
Serial
|
06cc1abbb1
|
Move js out to its own file
|
2022-04-26 18:22:37 -04:00 |
|