pull: Add unused-IDENTIFIERS check and fix FDL1.1 -> FDLv1.1, etc.
authorW. Trevor King <wking@tremily.us>
Sun, 22 Oct 2017 23:03:48 +0000 (16:03 -0700)
committerW. Trevor King <wking@tremily.us>
Sun, 22 Oct 2017 23:16:57 +0000 (16:16 -0700)
commit41d79a8f2f25ec10e28bda79b79014dc71863839
treed4cd7675ae054636a1ce34a61c8412b47a9c6e4e
parent21ae38e9ced21c1240679b53029f518589b887c7
pull: Add unused-IDENTIFIERS check and fix FDL1.1 -> FDLv1.1, etc.
pull.py