diff options
| author | Domen Kožar <domen@enlambda.com> | 2019-01-20 09:43:26 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-20 09:43:26 +0700 |
| commit | 92d08c02c84be34ec0df56ed718526c382845d1a (patch) | |
| tree | 7e4ec60926bee0dbead7b23d1b7fc9a6798760cb /src | |
| parent | 7cc1a2593ebece4df28abc86c8b83f5d14dc23a0 (diff) | |
| parent | 15efd5437377aa7054bca753abff5451396bfdca (diff) | |
Merge pull request #2635 from veprbl/patch-7
manual: "sandbox" option default is "true" on Linux
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions