diff options
author | Daniel Wilhelm <daniel@wili.li> | 2014-04-18 17:07:43 +0200 |
---|---|---|
committer | Daniel Wilhelm <daniel@wili.li> | 2014-04-18 17:07:43 +0200 |
commit | 4226e548662339ea1ca37b45385a7cf9b237ff1e (patch) | |
tree | 9a3fa54b85d97f05164e41bdb96b82f748a37342 /shared/ossp_uuid/php/package.xml | |
parent | 3.7 (diff) | |
download | FreeFileSync-4226e548662339ea1ca37b45385a7cf9b237ff1e.tar.gz FreeFileSync-4226e548662339ea1ca37b45385a7cf9b237ff1e.tar.bz2 FreeFileSync-4226e548662339ea1ca37b45385a7cf9b237ff1e.zip |
3.8
Diffstat (limited to 'shared/ossp_uuid/php/package.xml')
-rw-r--r-- | shared/ossp_uuid/php/package.xml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/shared/ossp_uuid/php/package.xml b/shared/ossp_uuid/php/package.xml deleted file mode 100644 index 14e2f867..00000000 --- a/shared/ossp_uuid/php/package.xml +++ /dev/null @@ -1,35 +0,0 @@ -<?xml version="1.0" encoding="ISO-8859-1" ?> -<package> - <name>uuid</name> - <summary>Universally Unique Identifiers (UUID) extension</summary> - <description> - UUID is a PHP extension for the creation - of Universally Unique Identifiers (UUID). - </description> - <license>MIT-Style License</license> - <maintainers> - <maintainer> - <user>rse</user> - <name>Ralf S. Engelschall</name> - <email>rse@engelschall.com</email> - </maintainer> - </maintainers> - <release> - <version>1.0</version> - <date>2003-05-17</date> - <state>unstable</state> - </release> - <configureoptions> - <configureoption name="with-uuid" default="autodetect" prompt="path to OSSP uuid?"/> - </configureoptions> - <filelist> - <dir role="src" name="/"> - <file role="src">Makefile.local</file> - <file role="src">config.m4</file> - <file role="src">uuid.c</file> - <file role="php">uuid.php4</file> - <file role="php">uuid.php5</file> - <file role="src">uuid.ts</file> - </dir> - </filelist> -</package> |