CVS: cvs.openbsd.org: ports

[Omar Polo]

CVSROOT:        /cvs
Module name:    ports
Changes by:     o...@cvs.openbsd.org    2023/11/14 04:32:33

Modified files:
        editors/micro  : Makefile distinfo modules.inc 

Log message:
editors/micro: update to 2.0.13