Index: stable/7/share/man/man7/ports.7
===================================================================
--- stable/7/share/man/man7/ports.7	(revision 226196)
+++ stable/7/share/man/man7/ports.7	(revision 226197)

Property changes on: stable/7/share/man/man7/ports.7
___________________________________________________________________
Deleted: svn:mergeinfo
## -0,1 +0,0 ##
   Reverse-merged /head/share/man/man7/ports.7:r175563,177626,179308,186783,190855,196337,196356,201539,205978,207223,208320,209662,209665,210641,211194,213162,213738,213814,213903,213910,214374,215154,216591,216995,217043,218699,219096,219126,222278,222492,225858-225859,226172
Index: stable/7/share/man/man7
===================================================================
--- stable/7/share/man/man7	(revision 226196)
+++ stable/7/share/man/man7	(revision 226197)

Property changes on: stable/7/share/man/man7
___________________________________________________________________
Modified: svn:mergeinfo
## -0,0 +0,1 ##
   Merged /head/share/man/man7:r222492