From 194ec40541654772189048405e93707a67dceba2 Mon Sep 17 00:00:00 2001 From: David Seifert Date: Sat, 25 Nov 2017 23:17:57 +0100 Subject: dev-lang/maude: [QA] Consistent whitespace in metadata.xml --- dev-lang/maude/metadata.xml | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'dev-lang/maude') diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml index 87cb557f086f..2a557bd7618e 100644 --- a/dev-lang/maude/metadata.xml +++ b/dev-lang/maude/metadata.xml @@ -1,16 +1,16 @@ - - sci@gentoo.org - Gentoo Science Project - - - Maude is a high-performance reflective language and system supporting - both equational and rewriting logic specification and programming for a - wide range of applications. Maude has been influenced in important ways - by the OBJ3 language, which can be regarded as an equational logic - sublanguage. Besides supporting equational specification and - programming, Maude also supports rewriting logic computation. - + + sci@gentoo.org + Gentoo Science Project + + + Maude is a high-performance reflective language and system supporting + both equational and rewriting logic specification and programming for a + wide range of applications. Maude has been influenced in important ways + by the OBJ3 language, which can be regarded as an equational logic + sublanguage. Besides supporting equational specification and + programming, Maude also supports rewriting logic computation. + -- cgit v1.2.3-65-gdbad