mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 09:12:18 +01:00
We need to do this (and also have to rename the packages), so that they are linked as DLLs. We do not rename the log files, though.
We need to do this (and also have to rename the packages), so that they are linked as DLLs. We do not rename the log files, though.