]> git.lizzy.rs Git - rust.git/commit
update script: also generate lint list in lib.rs
authorGeorg Brandl <georg@python.org>
Thu, 13 Aug 2015 09:31:09 +0000 (11:31 +0200)
committerGeorg Brandl <georg@python.org>
Thu, 13 Aug 2015 09:34:51 +0000 (11:34 +0200)
commitea0cf2a29685a0939c4ad0a04ea1aada608b8731
treef6ba3ec5c23139db3efcdc3384c9b93a3245c272
parent2c2716f04587eb379bf7715f1dd7d7a46c8f7eab
update script: also generate lint list in lib.rs
src/lib.rs
util/update_lints.py [new file with mode: 0644]
util/update_readme.py [deleted file]