treewide: fix double quoted strings in meta.description

Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07:00
parent 513a3ea665
commit bc0d605cf1
563 changed files with 1884 additions and 1911 deletions
@@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
  meta = {
    inherit version;
    inherit (z3.meta) license homepage platforms;
-    description = ''TPTP wrapper for Z3 prover'';
+    description = "TPTP wrapper for Z3 prover";
    maintainers = [lib.maintainers.raskin];
  };
 }