Ghommie c569da5713 Fixes PDA skin preference not saving up.

2019-06-30 17:17:23 +02:00

..

verbs

…

asset_cache.dm

Should be ready.

2019-06-26 00:21:06 +02:00

client_colour.dm

…

client_defines.dm

…

client_procs.dm

…

message.dm

…

player_details.dm

…

preferences_savefile.dm

Fixes PDA skin preference not saving up.

2019-06-30 17:17:23 +02:00

preferences_toggles.dm

…

preferences_vr.dm

…

preferences.dm

Merge pull request #8581 from Ghommie/Ghommie-cit42

2019-06-28 20:30:05 -07:00