X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif.man;h=3a58cafb61ef0d8d712f02b20ae5c3ef943dc71c;hb=da0603cf278a9f505dc2988602ec0071c771dd2e;hp=72175b0a32aadbdbca0cd65559acd64a5a3768a2;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/lib/dpif.man b/lib/dpif.man
index 72175b0a..3a58cafb 100644
--- a/lib/dpif.man
+++ b/lib/dpif.man
@@ -9,8 +9,3 @@ inclusive.
 The name of the network device associated with the datapath's local
 port.  (\fB\*(PN\fR internally converts this into a datapath number,
 as above.)
-
-.TP
-\fBnl:\fIN\fR
-This is an obsolete synonym for \fBdp\fIN\fR.
-.RE