diff src/images/spinner_green.gif @ 75:b96cf27e719d default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 28 Aug 2025 14:36:03 -0600
parents 1c87f785eb42
children
line wrap: on
line diff