summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-11-25 23:30:50 +0100
committerDavid Seifert <soap@gentoo.org>2017-11-26 12:31:01 +0100
commit6267943242e4d268fd2ef97e9bcc416dae337a32 (patch)
treebdf66a9bf22ff04c49da84a15b470d643820a385 /dev-ml
parentdev-ml/tyxml: [QA] Consistent whitespace in metadata.xml (diff)
downloadgentoo-6267943242e4d268fd2ef97e9bcc416dae337a32.tar.gz
gentoo-6267943242e4d268fd2ef97e9bcc416dae337a32.tar.bz2
gentoo-6267943242e4d268fd2ef97e9bcc416dae337a32.zip
dev-ml/zarith: [QA] Consistent whitespace in metadata.xml
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/zarith/metadata.xml20
1 files changed, 10 insertions, 10 deletions
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml
index 1e2b411522ce..c95afc027dca 100644
--- a/dev-ml/zarith/metadata.xml
+++ b/dev-ml/zarith/metadata.xml
@@ -1,14 +1,14 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
- <use>
- <flag name="mpir">Use MPIR library instead of GMP.</flag>
- </use>
- <upstream>
- <remote-id type="github">ocaml/Zarith</remote-id>
- </upstream>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <use>
+ <flag name="mpir">Use MPIR library instead of GMP.</flag>
+ </use>
+ <upstream>
+ <remote-id type="github">ocaml/Zarith</remote-id>
+ </upstream>
</pkgmetadata>