Adam Reichold b89cd282e0 Add buttons to the file browser preferences to make the list of extensions user-sortable.

2015-12-17 20:05:49 +01:00

105 KiB

Raw Blame History

View Raw