diff options
author | monojenkins <jo.shields+jenkins@xamarin.com> | 2018-09-11 22:05:04 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-11 22:05:04 +0300 |
commit | b8c8305104a3d938a332cc581934af3263f45014 (patch) | |
tree | f89396b00b23debfa91fd164ca09461aa025cef1 /scripts | |
parent | d7337904202dd0c59b98dac3473d9fc5da39ab34 (diff) | |
parent | 24e4dfec08399de04788788ab2eba0e9822a6484 (diff) |
Merge pull request #10428 from jaykrell/mono_pages_not_faulted
Remove unused mono_pages_not_faulted, autoconf for mlock instead of mincore.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions