diff options
author | David Seifert <soap@gentoo.org> | 2017-11-25 23:18:09 +0100 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-11-26 12:25:05 +0100 |
commit | f2f2b79cc7838110215a88a0a3eb1348f2cd9075 (patch) | |
tree | f11fa2895a19d593243e35131b7026bc7ec3448f /dev-lang/polyml/metadata.xml | |
parent | dev-lang/maude: [QA] Consistent whitespace in metadata.xml (diff) | |
download | gentoo-f2f2b79cc7838110215a88a0a3eb1348f2cd9075.tar.gz gentoo-f2f2b79cc7838110215a88a0a3eb1348f2cd9075.tar.bz2 gentoo-f2f2b79cc7838110215a88a0a3eb1348f2cd9075.zip |
dev-lang/ocaml: [QA] Consistent whitespace in metadata.xml
Diffstat (limited to 'dev-lang/polyml/metadata.xml')
0 files changed, 0 insertions, 0 deletions