diff options
| author | Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:15:58 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:58:38 +0100 |
| commit | 4412ca2c79a50481eff42550e9d63cba74c9ffc4 (patch) | |
| tree | c9fc5379b3c3097e4235ec64664ef2d893dd58ad /sci-mathematics/p9m4/metadata.xml | |
| parent | 3ed063d792064b1b8979b6adbfb1079adbad8a60 (diff) | |
| download | gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.gz gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.xz | |
Unify quoting in metadata.xml files for machine processing
Force unified quoting in all metadata.xml files since lxml does not
preserve original use of single and double quotes. Ensuring unified
quoting before the process allows distinguishing the GLEP 67-related
metadata.xml changes from unrelated quoting changes.
Diffstat (limited to 'sci-mathematics/p9m4/metadata.xml')
| -rw-r--r-- | sci-mathematics/p9m4/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml index 037c455fa05..fca084776b1 100644 --- a/sci-mathematics/p9m4/metadata.xml +++ b/sci-mathematics/p9m4/metadata.xml @@ -5,7 +5,7 @@ <email>gienah@gentoo.org</email> </maintainer> <herd>sci-mathematics</herd> -<longdescription lang='en'> +<longdescription lang="en"> This is a Graphical User Interface for Prover9 and Mace4. Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and |