diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2015-09-11 14:19:16 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2015-09-14 15:22:18 +0200 |
| commit | fcffe89d8344e699267210badac53ff24dd41148 (patch) | |
| tree | 8cbd08f453c82fdaa50d7b475e2e86c9403c688c /doc/style.txt | |
| parent | aa91826fa7c0cfd1f5ec8f062b9e1b134d65c850 (diff) | |
do not report deprecate warnings for the None declaration
This is defined for compatibility, warning about it is intended, but
only in places where it is actually used, rather than at the place we
declare it for compatability…
Git-Dch: Ignore
Diffstat (limited to 'doc/style.txt')
0 files changed, 0 insertions, 0 deletions