commit | ac5045a00f1fee2ca94aef063e6a5a3d2efce3f1 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Nov 02 08:21:30 2020 +0000 |
committer | nicm <nicm> | Mon Nov 02 08:21:30 2020 +0000 |
tree | 57e3a352e410392c7a39d3d138a8548687cd1f91 | |
parent | 95841ba16acafa8c1a516712ad0f2b48e34357e6 [diff] |
Add numeric comparisons for formats, from teo_paul1 at yahoo dot com in GitHub issue 2442.