Index: stable/8/share/man/man7/ports.7 =================================================================== --- stable/8/share/man/man7/ports.7 (revision 226195) +++ stable/8/share/man/man7/ports.7 (revision 226196) Property changes on: stable/8/share/man/man7/ports.7 ___________________________________________________________________ Deleted: svn:mergeinfo ## -0,3 +0,0 ## Reverse-merged /vendor/resolver/dist/share/man/man7/ports.7:r1540-186085 Reverse-merged /user/luigi/ipfw3-r8/share/man/man7/ports.7:r204833-205419 Reverse-merged /head/share/man/man7/ports.7:r196337,196356,196879,198020,198480,198483,198897,199747,199799,199821-199822,200171,200182,200275,200295,200359,200597,200599,200614,201217,201539,203376,203384,204195,205978,206622,207223,208320,209031,209662,209665,210641,211194,212094,212770,213162,213738,213814,213910,213917,214374,215154,216591,216995,217043,217733,218524,218699,218912,218945,219096,219126,220237,220560,222278,222492,225570,225583,225858-225859,226172 Index: stable/8/share/man/man7 =================================================================== --- stable/8/share/man/man7 (revision 226195) +++ stable/8/share/man/man7 (revision 226196) Property changes on: stable/8/share/man/man7 ___________________________________________________________________ Modified: svn:mergeinfo ## -0,0 +0,1 ## Merged /head/share/man/man7:r222492