diff options
| author |   Petr Vaněk <arkamar@atlas.cz> | 2022-10-19 11:03:27 +0200 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2022-10-20 04:52:47 +0100 |
| commit | abdf5d8a9702a00d8fe307ebc0bf77d0b7883c6a (patch) | |
| tree | ef45cc37e10a6eec1921d44aff6b285f8c8095e6 /sci-mathematics/twelf | |
| parent | sci-mathematics/pspp: align longdescription opening and closing tags (diff) | |
| download | gentoo-abdf5d8a9702a00d8fe307ebc0bf77d0b7883c6a.tar.gz gentoo-abdf5d8a9702a00d8fe307ebc0bf77d0b7883c6a.tar.bz2 gentoo-abdf5d8a9702a00d8fe307ebc0bf77d0b7883c6a.zip | |
sci-mathematics/twelf: align longdescription opening and closing tags
Signed-off-by: Petr Vaněk <arkamar@atlas.cz>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/twelf')
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index c462d4b2dff5..62f2b95ec8fc 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -6,8 +6,8 @@ <name>Mark Wright</name> </maintainer> <longdescription lang="en"> -Twelf is an implementation of the logical framework LF. It is used for -logic programming and for the formalization of programming language -theory. -</longdescription> + Twelf is an implementation of the logical framework LF. It is used for + logic programming and for the formalization of programming language + theory. + </longdescription> </pkgmetadata> |