log src/gui/dialog/settings/recognition.cc @ 134:54c9d36207db

age author description
Thu, 09 Nov 2023 13:53:04 -0500 Paper settings/recognition: implement real media player stuff
Wed, 08 Nov 2023 18:13:37 -0500 Paper config: template-ify INI
Wed, 08 Nov 2023 13:50:00 -0500 Paper settings: add a very early recognition tab for configuring players and extensions