diff options
author | Tom Gundersen <teg@jklm.no> | 2015-07-14 04:32:29 +0200 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2015-07-14 19:36:35 +0200 |
commit | d23a27a964748967e1ad20e86de869a753af555b (patch) | |
tree | db74f180a3b052cab81aea4d20a8b576f3221f9b /tools/make-man-rules.py | |
parent | abf126a355e2f2b62b6c51ab3bb37895d1e3eee7 (diff) |
resolved: improve printing of unknown RRs
This implements the recommendations from RFC3597.
Diffstat (limited to 'tools/make-man-rules.py')
0 files changed, 0 insertions, 0 deletions