diff options
| author | Théo Zimmermann | 2018-11-25 13:12:12 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-12-14 09:14:41 +0100 |
| commit | 321a17fcc3ed9d22699913ebb789b9a4063b6ff4 (patch) | |
| tree | f2316eb42533d626ba1e84b8868a26b69cfde910 /dev/base_include | |
| parent | 7e3603069cf591c6c70ef25d4cfc72f62aa44058 (diff) | |
Do not raise object without body warning for prodn objects.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions