diff src/gui/pages/statistics.cc @ 186:6ef31dbb90ca

anime: no unnecessary conversion to floating point
author Paper <mrpapersonic@gmail.com>
date Wed, 06 Dec 2023 11:47:59 -0500
parents bc8d2ccff09c
children 9613d72b097e
line wrap: on
line diff