Rodrigo Osorio fe8b48ee89 Update port to 4.13.0.2 and remove plugins from default options. ... PR: 223540 Submitted by: Anton Yuzhaninov <citrin+pr@citrin.ru> Approved by: rodrigo (maintainer)		2017-11-08 22:44:36 +00:00
..
files	Upgrade to 4.13.0.1 and take maintainership	2017-03-29 21:49:34 +00:00
distinfo	Update port to 4.13.0.2 and remove plugins from default options.	2017-11-08 22:44:36 +00:00
Makefile	Update port to 4.13.0.2 and remove plugins from default options.	2017-11-08 22:44:36 +00:00
pkg-deinstall
pkg-descr
pkg-install
pkg-plist	Upgrade to 4.13.0.1 and take maintainership	2017-03-29 21:49:34 +00:00