CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2023/11/24 05:30:47

Modified files:
        devel/angr/py-angr: Makefile 
        devel/angr/py-z3-solver: Makefile 

Log message:
more NO_TEST for ports lacking tests