diff options
| author | Julian Weigt <juw@posteo.de> | 2026-01-07 22:25:38 +0000 |
|---|---|---|
| committer | Julian Weigt <juw@posteo.de> | 2026-02-04 15:55:51 +0100 |
| commit | 30f57f8a87bc46a64527987d97bc37706076ba40 (patch) | |
| tree | 21d3c43945553adfcfb08e4adaafa32059afae23 /double.h | |
| parent | c6e74e0b980f567f93cb46786e344f410ca83555 (diff) | |
Print if and only if it beats previous record.
Diffstat (limited to 'double.h')
0 files changed, 0 insertions, 0 deletions