From 9ac0c3613ce97a8992847707b8615cbe8a4ed865 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Thu, 14 Jan 2016 00:08:48 +0100
Subject: [PATCH] No default logging required
---
bin/figspecial2svg | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/figspecial2svg b/bin/figspecial2svg
index 725ad527c..a24742cc4 100755
--- a/bin/figspecial2svg
+++ b/bin/figspecial2svg
@@ -5,7 +5,7 @@ use strict;
my $localPid = `echo -n $$`;
-system ("echo figspecial2svg $localPid >> /tmp/figspecial2svg.log");
+#system ("echo figspecial2svg $localPid >> /tmp/figspecial2svg.log");
#my $args= join(':', @ARGV);
#print "figspecial2png $args \n";
--
GitLab