mirror of
https://github.com/php/php-src.git
synced 2024-11-25 02:44:58 +08:00
* add package.dtd to the distribution
This commit is contained in:
parent
7168cb0567
commit
177872f0a5
@ -55,6 +55,7 @@ though it claimed to be. This version finally is self-hosting
|
||||
* lots of minor fixes
|
||||
</notes>
|
||||
<filelist>
|
||||
<file role="data" name="package.dtd"/>
|
||||
<file role="php" name="PEAR.php"/>
|
||||
<file role="php" name="System.php"/>
|
||||
<dir name="PEAR">
|
||||
|
Loading…
Reference in New Issue
Block a user