diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-08-31 08:55:20 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2017-08-31 08:56:15 -0300 |
commit | 4d4c1dfc1b4790c7ffab8f32bbbfbcb8ad30e4f1 (patch) | |
tree | f92d15521a895b9fbc2adad38b7981ffcade2ae8 /thirdparty/misc/mikktspace.c | |
parent | 6f762ad70993afbbcb496d003ac1ee09f5bc9556 (diff) |
Do not error flood if removing default environment. Closes #9945
Diffstat (limited to 'thirdparty/misc/mikktspace.c')
0 files changed, 0 insertions, 0 deletions