]> git.lizzy.rs Git - rust.git/commit
Update `update_wiki.py` to extract default lint level
authormcarton <cartonmartin+git@gmail.com>
Fri, 5 Feb 2016 23:42:55 +0000 (00:42 +0100)
committermcarton <cartonmartin+git@gmail.com>
Fri, 5 Feb 2016 23:42:55 +0000 (00:42 +0100)
commitf2a7c8cca03aa817ff10654af6821cfd92746b1a
treeb538bf250d7cf61e24d31b1637841324543fbbeb
parent83a82a1d86b0a5b9fe39ca7b33e7bca2687a733b
Update `update_wiki.py` to extract default lint level
util/update_wiki.py