log src/gui/dialog/settings.cc @ 186:6ef31dbb90ca

age author description
16 months ago Paper settings: add a very early recognition tab for configuring players and extensions