Update PRManager.py
authorJay Cho <chojoong@gmail.com>
Tue, 18 Sep 2018 06:20:27 +0000 (15:20 +0900)
committerGitHub <noreply@github.com>
Tue, 18 Sep 2018 06:20:27 +0000 (15:20 +0900)
commitef11a8322279305c7d51cc8c94dd15aac25892e6
tree65b47debd9da92eed70255f2cab1e3eb10b0a0c3
parent718f8c10cf48d90af5b2d4434f0b609f0565605a
Update PRManager.py
tools/scripts/CodeChecker/PRManager.py