diff build_release @ 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 92449b47cce8
children 2ea2f3aa5aa8
line wrap: on
line diff