diff src/images/spinner_green.gif @ 72:5d274f7a4637 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 25 Aug 2025 03:45:03 -0600
parents 1c87f785eb42
children
line wrap: on
line diff