diff options
| author | Davide Beatrici <davidebeatrici@gmail.com> | 2017-11-20 01:01:06 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-20 01:01:06 +0300 |
| commit | fba1d65b3e66455da205e4f1951cf2e6f1c84d24 (patch) | |
| tree | 96264a12314283e9fb6299318191449b192a7f23 /src/tests | |
| parent | 8bf71ba16d0c0c8e3ae030fd2fbe5b666bed6212 (diff) | |
| parent | 2a51c7bff664929fb181a9c55f84d326cbe28bfb (diff) | |
Merge PR #3262: Plugins: Determine correct pointer size automatically, without the need of specific headers and variables
Diffstat (limited to 'src/tests')
0 files changed, 0 insertions, 0 deletions