diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-10-02 16:38:39 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2017-10-03 17:36:14 -0300 |
commit | 3cadecf17be08198f8a28e0674bfde30c8fc824f (patch) | |
tree | d7f50c210e56efbce70253485c69c23aa3af5bad /modules/mono | |
parent | a848fa6cdeb00f0c40f259cde2d59112272e3c51 (diff) |
fixed the OS.has_feature() API, and added support for 32 and 64.
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions