Skip to content

Makefile: use php instead of phpdbg for coverage#14

Merged
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/php-coverage-target
Mar 29, 2026
Merged

Makefile: use php instead of phpdbg for coverage#14
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/php-coverage-target

Commits

Commits on Mar 28, 2026