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 /main/main.h | |
| parent | 6f762ad70993afbbcb496d003ac1ee09f5bc9556 (diff) | |
Do not error flood if removing default environment. Closes #9945
Diffstat (limited to 'main/main.h')
0 files changed, 0 insertions, 0 deletions