summaryrefslogtreecommitdiff
path: root/maint/add_warning
Commit message (Collapse)AuthorAgeFilesLines
...
* 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.