diff options
| author | davidovski <git@davidovski.xyz> | 2021-11-17 12:23:24 +0000 |
|---|---|---|
| committer | davidovski <git@davidovski.xyz> | 2021-11-17 12:23:24 +0000 |
| commit | 28029bc25090e706d08b6c5735bb5dfc24176f59 (patch) | |
| tree | a1a358cdcaf904f25eb0e54f9ad512b451981681 /src/options.py | |
| parent | 0ff24f5611f8a30f01ae08d866b5276c020a8665 (diff) | |
neatened ping number to int
Diffstat (limited to 'src/options.py')
0 files changed, 0 insertions, 0 deletions