diff options
| author | IWAMOTO Toshihiro <iwamoto@valinux.co.jp> | 2015-06-22 19:10:00 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2015-06-23 05:56:06 +0900 |
| commit | 4ee2f054d22363227aca2686a47a416731fa40bc (patch) | |
| tree | 89ad9c13afd792f1e5663703f01a5d20b0b35ea6 /tools | |
| parent | 7681cf91ea2e3c45a47aa580858b10964021b494 (diff) | |
python3: Use integer division where appropriate
Signed-off-by: IWAMOTO Toshihiro <iwamoto@valinux.co.jp>
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions