diff options
| author | bunnei <bunneidev@gmail.com> | 2020-08-21 23:56:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-21 23:56:55 -0400 |
| commit | 7401b78840e071b81b760fbdf578c0fec73207ba (patch) | |
| tree | 8e7aff041f5977fdd7d4eb3706898dbe08be2cd2 /src/core/settings.cpp | |
| parent | 915aeb2550265cd7661c3af11563faa14b8f18a8 (diff) | |
| parent | cb79f177aa650bf4839e72dd4df7a2cd0820858d (diff) | |
Merge pull request #4521 from lioncash/optionalcache
gl_shader_disk_cache: Make use of std::nullopt where applicable
Diffstat (limited to 'src/core/settings.cpp')
0 files changed, 0 insertions, 0 deletions