diff options
| author | Haidong Ji | 2019-06-12 20:22:10 -0500 |
|---|---|---|
| committer | Haidong Ji | 2019-06-12 20:22:10 -0500 |
| commit | 56c652e96dcedf3acbe6f37d9540044b2681b2da (patch) | |
| tree | 2046aec9e4bb887067ba66c3a1271bbbbf4c398c /.settings | |
| parent | 36d6a0c2b7c63d52f50e1509deed1f96ff1435d0 (diff) | |
Comparing this against my Java and Python code, one more change was
needed: key value type changed from int to long. In reality, I'm not
sure if int would have worked, but I decided to be better safe than
sorry.
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions