php/web-rmtools
1
0
Fork 0
mirror of https://github.com/php/web-rmtools.git synced 2026-04-24 01:08:03 +02:00
Code Issues 12 Packages Projects Releases Wiki Activity
Files
server-migration
web-rmtools/script/pecl.php
T
Christoph M. Becker a253b3d4d9 Upload real_name packages to proper location 
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.
2021-01-25 19:31:19 +01:00

14 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink