diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 18:31:43 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 18:31:43 +0000 |
| commit | cd0d9000770337b445051f1852fe3971ceb7a6e2 (patch) | |
| tree | 49c82dbb14c2d960e04e7482bdefe6ed2d53a173 /dev-ml/ppxfind/metadata.xml | |
| parent | 12c505f7fcc9ddc89e96ed178df05aceec162d92 (diff) | |
gentoo auto-resync : 18:03:2023 - 18:31:42
Diffstat (limited to 'dev-ml/ppxfind/metadata.xml')
| -rw-r--r-- | dev-ml/ppxfind/metadata.xml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/dev-ml/ppxfind/metadata.xml b/dev-ml/ppxfind/metadata.xml deleted file mode 100644 index 8eb95a3e7a89..000000000000 --- a/dev-ml/ppxfind/metadata.xml +++ /dev/null @@ -1,15 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>ml@gentoo.org</email> - <name>ML</name> - </maintainer> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> - <upstream> - <remote-id type="github">diml/ppxfind</remote-id> - </upstream> -</pkgmetadata> |