diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-03-16 14:51:20 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-03-16 17:42:16 +0100 |
| commit | a677ccd2966d9c9cb9458586eaacee33055896b2 (patch) | |
| tree | 2bb3e8d1ff02b9d6842877b34511ea376d823217 /sci-mathematics/agda | |
| parent | media-fonts/ja-ipafonts: EAPI-7 bump (diff) | |
| download | gentoo-a677ccd2966d9c9cb9458586eaacee33055896b2.tar.gz gentoo-a677ccd2966d9c9cb9458586eaacee33055896b2.tar.bz2 gentoo-a677ccd2966d9c9cb9458586eaacee33055896b2.zip | |
*/*: Normalize metadata.xml files
Normalize quoting, replace '>' with entities, replace unnecessary
entities, remove trailing empty lines.
Done via:
find -name metadata.xml -exec xml ed -P -L -d //none {} +
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 5606f0f0585e..ea5eaca193ca 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -13,7 +13,7 @@ </use> <longdescription> Agda is a dependently typed functional programming language: It has - inductive families, which are similar to Haskell's GADTs, but they + inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the |