diff options
| author | Peter Eisentraut | 2017-11-09 22:06:32 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-11-10 13:32:35 +0000 |
| commit | 18d431bda22f1b0f9ad758338a282705ab6b21b5 (patch) | |
| tree | 935219b0c92472c93ed082245f4f108b8111f0c8 /src | |
| parent | b2ad6f9e2614f80e6dd88fe584e3aefac52cc454 (diff) | |
Add -wnet to SP invocations
This causes a warning when accidentally backpatching an XML-style
empty-element tag like <xref linkend="abc"/>.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions