log include/gui/widgets/anime_button.h @ 367:8d45d892be88 default tip

age author description
Wed, 02 Oct 2024 23:06:43 -0400 Paper *: megacommit that probably breaks things
Tue, 25 Jun 2024 11:19:54 -0400 Paper text: redesign almost every widget
Thu, 18 Apr 2024 16:53:17 -0400 Paper *: various code safety changes
Wed, 03 Apr 2024 20:04:28 -0400 Paper include: make header guards more sane