aboutsummaryrefslogtreecommitdiff
path: root/maint/add_warning
Commit message (Collapse)AuthorAgeFilesLines
...
* maint/add_warnings: Make it add the markers for its future selfIan Jackson2022-05-311-0/+6
| | | | We'll run this in a moment. Then we'll revert it.
* lints: maint/add_warning: Improve orderingIan Jackson2022-05-311-1/+1
| | | | | The crates we have aren't consistent. But changing this means the deltas resulting from the script are smaller.
* maint/add_warnings: Tidy up, and add some commentaryIan Jackson2022-05-311-2/+7
| | | | | | This puts the actually-used lint list at the top. No functional change.
* add_warning: remove clone_on_ref_ptrNick Mathewson2022-03-011-1/+0
| | | | See !352
* maint/add_warning: Remove duplicate argv0 from usage messageIan Jackson2022-02-181-1/+1
|
* rename *.py scripts to bare nameIan Jackson2022-02-181-0/+118
Update all references. There are three remaining hits for git-grep '\.py\b' all of which are scripts in "little-t-tor", not here in arti.