diff options
| author | Alasdair Armstrong | 2019-05-22 15:20:54 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-22 15:20:54 +0100 |
| commit | 3e56cca75ea1e749fed71cda6a0c8b07659df611 (patch) | |
| tree | 729732074d562a3404df63573e18e67f3ffac4ef /doc | |
| parent | 7b4bf2bd14cae99a4d8086a0b66d9875be1acbab (diff) | |
Move Util.warn to Reporting, and make it take the location as a parameter
Also add a $suppress_warnings directive that ensures that no warnings
are generated for a specific file.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions
