about summary refs log tree commit diff
path: root/util/gh-pages
AgeCommit message (Expand)AuthorLines
2019-02-28Use the same <title> as <h1> on gh-pagesMartin Taibr-2/+2
2019-02-16Use normal HTML label semantics for filterMichael Howell-2/+2
2018-11-22rust-lang-nursery/rust-clippy => rust-lang/rust-clippyMatthias Krüger-2/+2
2018-10-15Website: Make lint categories linkablePark Juhyung-0/+29
2018-08-28Fix typo for panel cursorIvan Tham-1/+1
2018-07-25fix a bunch of typos found by codespellMatthias Krüger-1/+1
2018-07-19Improve website panel heading experienceIvan Tham-0/+3
2018-04-10Docs: Reorganize layout a bit and show lint groupsPascal Hertleif-18/+57
2017-08-07Docs index: Sort versions in a nice wayPascal Hertleif-2/+18
2017-08-03Generate version index for docs domain indexPascal Hertleif-0/+70
2017-08-03Update URL in rendered docs Github ribbonPascal Hertleif-1/+1
2016-08-28Actually scroll lint panels into viewPascal Hertleif-13/+34
2016-08-28Tweak HTML version of docs with scroll to lintsPascal Hertleif-5/+33
2016-07-15Add Level 'Deprecated'Pascal Hertleif-1/+2
2016-07-14Adjust HTML DocsPascal Hertleif-61/+103
2016-07-12Add First Draft of Lint Listing PagePascal Hertleif-0/+114