diff options
| author | Chun Kuan Lee <ken2812221@gmail.com> | 2018-05-10 16:22:58 +0000 |
|---|---|---|
| committer | Chun Kuan Lee <ken2812221@gmail.com> | 2018-06-12 14:48:02 +0000 |
| commit | e5b2cd8e7564b9fc2ed4f63fe49efb0af60b4460 (patch) | |
| tree | 5355f07d0bf219960a672e34cc7501b614936e7d /src | |
| parent | e24bf1ce184bc8d5bba70a3f3e9c43c2df07f4d3 (diff) | |
Use python instead of slow shell script on verify-commits
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions