diff options
| author | Drahflow <drahflow@gmx.de> | 2015-06-09 16:30:21 +0200 |
|---|---|---|
| committer | Drahflow <drahflow@gmx.de> | 2015-06-09 16:30:21 +0200 |
| commit | 044ad8735191a58db275ccf1927441340dd76c94 (patch) | |
| tree | 0c2d3001a0004e7e5cf0c4112ec3c579acad1944 /TODO | |
| parent | 087f4bd5f76255f3e98207aca4aa784c66e158b4 (diff) | |
Discard non-integer-case if impossible to reach
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions