diff jagdis.c @ 2378:af3075c1e421

Add media player file extensions to file browser config
author Michael Pavone <pavone@retrodev.com>
date Sat, 18 Nov 2023 11:34:33 -0800
parents 4987fddd42a0
children
line wrap: on
line diff