freebsd-ports/editors/micro
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