log src/gui/dialog/information.cc @ 367:8d45d892be88 default tip

age author description
Tue, 25 Jun 2024 11:19:54 -0400 Paper text: redesign almost every widget
Wed, 12 Jun 2024 23:03:22 -0400 Paper anime: add completed date member
Sun, 19 May 2024 15:56:20 -0400 Paper core/time: remove Duration class, use regular functions instead