diff options
| author | Yuri Gorshenin <mipt.vi002@gmail.com> | 2017-05-05 15:23:22 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-05 15:23:22 +0300 |
| commit | 929af9660c98fe5bb29d08099744cb8cfcb01e09 (patch) | |
| tree | 75e9ce6d29dce61cdb011b12248bbef44f592758 /base | |
| parent | e1db6fc322fbf8cc28332099c545dfd91f85aa87 (diff) | |
| parent | 0d0f25c5d61f99e1de64a49d4450703b7a6f7f5d (diff) | |
Merge pull request #6006 from mpimenov/settings-get
[platform] Check the result of Settings::Get.
Diffstat (limited to 'base')
0 files changed, 0 insertions, 0 deletions