From abdf5d8a9702a00d8fe307ebc0bf77d0b7883c6a Mon Sep 17 00:00:00 2001 From: Petr Vaněk Date: Wed, 19 Oct 2022 11:03:27 +0200 Subject: sci-mathematics/twelf: align longdescription opening and closing tags MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Petr Vaněk Signed-off-by: Sam James --- sci-mathematics/twelf/metadata.xml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'sci-mathematics/twelf') 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 @@ Mark Wright -Twelf is an implementation of the logical framework LF. It is used for -logic programming and for the formalization of programming language -theory. - + Twelf is an implementation of the logical framework LF. It is used for + logic programming and for the formalization of programming language + theory. + -- cgit v1.2.3-65-gdbad