diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2021-10-24 17:41:33 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2021-10-24 17:41:33 +0300 |
commit | d9faaebbd0cbf547f9f496b312b1a6daa7bf8319 (patch) | |
tree | fd8117dc1cc2de5c8dece1b09b46df60a5c20207 | |
parent | app-misc/jdupes: treeclean (moved to ::gentoo) (diff) | |
download | guru-d9faaebbd0cbf547f9f496b312b1a6daa7bf8319.tar.gz guru-d9faaebbd0cbf547f9f496b312b1a6daa7bf8319.tar.bz2 guru-d9faaebbd0cbf547f9f496b312b1a6daa7bf8319.zip |
sci-mathematics/lean-mathlib: remove empty longdescription
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
-rw-r--r-- | sci-mathematics/lean-mathlib/metadata.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sci-mathematics/lean-mathlib/metadata.xml b/sci-mathematics/lean-mathlib/metadata.xml index 3005583c8..cb8636fef 100644 --- a/sci-mathematics/lean-mathlib/metadata.xml +++ b/sci-mathematics/lean-mathlib/metadata.xml @@ -6,8 +6,6 @@ <email>lssndrbarbieri@gmail.com</email> <name>Alessandro Barbieri</name> </maintainer> - <longdescription lang="en"> - </longdescription> <upstream> <bugs-to>https://github.com/leanprover-community/mathlib/issues</bugs-to> <remote-id type="github">leanprover-community/mathlib</remote-id> |