diff options
| author | Gerald Xv <gerald.xv@gmail.com> | 2018-09-05 04:55:17 +0000 |
|---|---|---|
| committer | Gerald Xv <gerald.xv@gmail.com> | 2018-09-05 04:55:17 +0000 |
| commit | 8f36dfdc65a8dc6c4fb07c346d753e142b2735bd (patch) | |
| tree | 203e7eae0c00f91759303b1474862bb61e1bd5f9 /.gitignore | |
| parent | c96222ead3790d06448b447ef704546618e98d41 (diff) | |
add report in the effects_code_generation, as it is the short form for both report_errors and report_warnings
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions