bors 6e86ab007c Auto merge of #8752 - Serial-ATA:improve-filtering, r=xFrednet ... Add version filtering option to the lint list I'm no web dev, so I don't know if this is the best execution 😄. Here's how it looks:  And on mobile:  I've split this into two commits, in the second one I moved the JS into its own file to make it easier to work on. Is that alright? And if so, could the same thing be done to the css? changelog: none cc: #7958, `@repi` r? `@xFrednet`		2022-05-16 17:49:00 +00:00
..
ISSUE_TEMPLATE	adding spell checking	2022-04-15 14:18:09 -07:00
workflows	Update GitHub Actions actions/checkout@v2 to v3	2022-04-29 19:32:24 -07:00
deploy.sh	Move js out to its own file	2022-04-26 18:22:37 -04:00
driver.sh	Merge commit 'b20d4c155d2fe3a8391f86dcf9a8c49e17188703' into clippyup	2020-11-05 14:29:48 +01:00
PULL_REQUEST_TEMPLATE.md	Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup	2021-04-22 11:31:13 +02:00