diff LinuxCompilation.txt @ 5326:fbe857e942cd

store metrics as integers instead of floats to avoid precision loss in increments
author Sebastien Jodogne <s.jodogne@gmail.com>
date Sun, 25 Jun 2023 18:28:49 +0200
parents 0035d4318594
children 59e3b6f8c5be
line wrap: on
line diff