mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-15 03:14:23 +00:00
Code Issues Releases Activity
999738615f
freebsd-ports/editors/micro
History
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