diff options
| author | bunnei <bunneidev@gmail.com> | 2018-08-02 23:18:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-02 23:18:03 -0400 |
| commit | 61ed68f3d04e91870d9cd8970e0dbd0a3beb3ed0 (patch) | |
| tree | 9604696344c3410e3f4846880f27a1e573e269d7 /src/core/settings.h | |
| parent | 291ccf7257182fc77163a6d0d215895c85c210c1 (diff) | |
| parent | d94a173877325b722ba27640acc9adea249b7c1c (diff) | |
Merge pull request #905 from lioncash/vma
kernel/vm_manager: Minor changes
Diffstat (limited to 'src/core/settings.h')
0 files changed, 0 insertions, 0 deletions