1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
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
Makefile Add DOCS options to ports that should have one. 2018-09-10 13:14:50 +00:00
pkg-descr