diff src/gui/pages/history.cc @ 184:09492158bcc5

anime: etc. comments and changes
author Paper <mrpapersonic@gmail.com>
date Mon, 04 Dec 2023 13:44:42 -0500
parents 9b2b41f83a5e
children 4d461ef7d424
line wrap: on
line diff