Mikael Urankar ee1fae5094 editors/micro: Garbage collect aarch64 patches ... This patch is not needed anymore. Approved by: portmgr (build fix blanket)		2021-09-10 14:42:54 +02:00
..
distinfo	editors/micro: Update to 2.0.10	2021-08-08 19:01:49 +00:00
Makefile	editors/micro: Update to 2.0.10	2021-08-08 19:01:49 +00:00
pkg-descr