diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-22 04:12:59 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-04-04 06:09:04 +0000 |
| commit | c52e5777532c2dab0aee7c8cedb27c06164ca4ce (patch) | |
| tree | e8be35401d88fe0b701bd235c937181a2c521284 /dev-ml/ocamlify/metadata.xml | |
| parent | dev-ml/ocaml-re: treeclean (diff) | |
| download | gentoo-c52e5777532c2dab0aee7c8cedb27c06164ca4ce.tar.gz gentoo-c52e5777532c2dab0aee7c8cedb27c06164ca4ce.tar.bz2 gentoo-c52e5777532c2dab0aee7c8cedb27c06164ca4ce.zip | |
dev-ml/ocamlify: treeclean
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ocamlify/metadata.xml')
| -rw-r--r-- | dev-ml/ocamlify/metadata.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/dev-ml/ocamlify/metadata.xml b/dev-ml/ocamlify/metadata.xml deleted file mode 100644 index 6f49eba8f496..000000000000 --- a/dev-ml/ocamlify/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<!-- maintainer-needed --> -</pkgmetadata> |