Re: [patch] replace 'php5' with 'php' in ports(7)

2019-05-30 Thread Jeremie Courreges-Anglas
On Thu, May 30 2019, Jesper Wallin wrote: > Hi all, > > Replace the reference of 'php5' with 'php' in ports(7) since 'php5' is > deprecated and no longer exists in the ports tree. Committed, thanks. > Jesper Wallin > > > Index: share/man/man7/ports.7 >

[patch] replace 'php5' with 'php' in ports(7)

2019-05-30 Thread Jesper Wallin
Hi all, Replace the reference of 'php5' with 'php' in ports(7) since 'php5' is deprecated and no longer exists in the ports tree. Jesper Wallin Index: share/man/man7/ports.7 === RCS file: /cvs/src/share/man/man7/ports.7,v