diff options
| author | jvoisin | 2018-04-03 21:34:45 +0200 |
|---|---|---|
| committer | jvoisin | 2018-04-03 21:34:45 +0200 |
| commit | 2a51ae03dfde59c7b190b2ea74974c40c43addf7 (patch) | |
| tree | 7d2ad0c944461e38e6973dec89f442ffc94cedbe /src | |
| parent | 76f25212d1eef99c360b0a50cd5b88c117acf278 (diff) | |
Add more details to the warnings, thanks to @pabs
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions