about summary refs log tree commit diff
path: root/util
AgeCommit message (Expand)AuthorLines
2021-05-02Fix config parsingCameron Steffen-1/+1
2021-04-14Fixed website inline code backgroundxFrednet-1/+1
2021-04-04Quick fix to access the correct css filesxFrednet-6/+5
2021-04-04Adding a dark theme to the clippy lint listxFrednet-4/+188
2021-01-26Fix some website syntax highlightingCameron Steffen-1/+4
2020-12-22Fixed a value spelling mistakexFrednet-6/+6
2020-12-20Website issue tracker link and better search performancexFrednet-23/+31
2020-12-19Adapted the website search for better matchingxFrednet-1/+41
2020-04-26Remove util/dev scriptPhilipp Hansch-7/+0
2020-04-20util/fetch_prs_between.sh: Add Markdown formatted LinkPhilipp Hansch-0/+1
2020-04-09Update doc generation scriptThibsG-4/+4
2020-03-25Also deploy from the beta branchflip1995-0/+3
2020-03-22Fix documentation generation for configurable lintsflip1995-2/+2
2020-02-14Rename current -> stableflip1995-2/+2
2020-02-13Better version ordering of documentationflip1995-2/+6
2020-02-13Sort versions in json outputflip1995-0/+42
2020-02-12Sort output of export.py scriptflip1995-1/+3
2020-01-30Deprecate util/dev in favor of cargo aliasPhilipp Hansch-0/+2
2019-10-22build: use shared target dirLzu Tao-1/+3
2019-10-22build: improve script and travis configLzu Tao-6/+7
2019-08-28Also fetch rollup merges in fetch_prs_between.sh scriptflip1995-1/+1
2019-08-18Ignore lines starting with '#'Jeremy Stucki-1/+12
2019-08-15Remove util/update_lints.pyPhilipp Hansch-10/+0
2019-08-12Filter out PRs with changelog: noneflip1995-1/+6
2019-06-23don't strip blank lines in lint documentationAndy Russell-12/+9
2019-03-05move lint documentation into macro invocationsAndy Russell-30/+25
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
2019-01-29fetch_prs_between: add .sh file endingMatthias Krüger-0/+0
2019-01-25Add script to fetch GitHub PRs between two commitsPhilipp Hansch-0/+20
2019-01-08Remove all copyright license headersPhilipp Hansch-42/+0
2018-11-22rust-lang-nursery/rust-clippy => rust-lang/rust-clippyMatthias Krüger-2/+2
2018-11-05RIIR update lints: Add check mode (update_lints.py rewrite complete)Philipp Hansch-238/+4
2018-10-31RIIR update lints: Generate deprecated lintsPhilipp Hansch-1/+1
2018-10-15Website: Make lint categories linkablePark Juhyung-0/+29
2018-10-08Merge pull request #3265 from mikerite/fix-exportPhilipp Hansch-4/+9
2018-10-06Add license header to other filesManish Goregaokar-0/+45
2018-10-05Fix util/export.py to include lints from methodsMichael Wright-4/+9
2018-09-30Fix update_lints.py for dir modulesMichael Wright-5/+11
2018-09-03update_lints rewrite: Add structure and --print-onlyPhilipp Hansch-13/+5
2018-09-02Merge remote-tracking branch 'upstream/master' into prsPhilipp Hansch-5/+5
2018-08-29Adapt scripts to the tool_lintsflip1995-5/+5
2018-08-28Fix typo for panel cursorIvan Tham-1/+1
2018-08-22Remove unused codeflip1995-5/+0
2018-08-12update_lints.py: port another print to print() for python3 compatibility.Matthias Krüger-1/+1
2018-08-09lintlib: Use Python 3 compatible printDavid Vo-1/+1
2018-07-25fix a bunch of typos found by codespellMatthias Krüger-1/+1
2018-07-25s/wiki/lint list/Philipp Hansch-2/+2
2018-07-19Improve website panel heading experienceIvan Tham-0/+3
2018-07-05Consistently call it "Clippy", not clippy or rust-clippyDale Wijnand-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-09-29 01:32:38 +0000