diff options
| author | Tom Gundersen <teg@jklm.no> | 2015-08-11 22:37:23 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2015-08-16 20:52:21 +0200 |
| commit | 74998408530501c3309bb15c383573b382164197 (patch) | |
| tree | 7d4902c7e7d797acda3532a095461d7135112714 /tools/make-man-index.py | |
| parent | 6b9308d14b8e59307082c87b0974fcc28a2774e0 (diff) | |
resolve-host: print RTT
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions