diff options
author | Jan Christoph Uhde <Jan@UhdeJC.com> | 2019-06-27 12:43:27 +0200 |
---|---|---|
committer | Jan Christoph Uhde <Jan@UhdeJC.com> | 2019-07-02 11:12:04 +0200 |
commit | 408b76d103dc860d6ace23c93c2eace35f90421b (patch) | |
tree | b9ba9043197739f60a627b90a4002efd50a4bf19 /docs/modules.js | |
parent | 5dfced26c2925e0d08c8de03e7ef0169db5d3793 (diff) |
make includes available for projects that add mimalloc as subdirectory
Diffstat (limited to 'docs/modules.js')
0 files changed, 0 insertions, 0 deletions