Mathieu Arnold e1bfdfbe56 Add DOCS options to ports that should have one. ... Also various fixes related to said option. PR: 230864 Submitted by: mat exp-runs by: antoine		2018-09-10 13:14:50 +00:00
..
distinfo	editors/micro: Update to 1.4.1	2018-08-27 17:43:46 +00:00
Makefile	Add DOCS options to ports that should have one.	2018-09-10 13:14:50 +00:00
pkg-descr