[master] 2e663f90b remove accidental leftover

[Nils Goroll]

commit 2e663f90b9289a011fe830798815a992e40a1424
Author: Nils Goroll <nils.goroll at uplex.de>
Date:   Fri Jan 8 10:46:00 2021 +0100

    remove accidental leftover

diff --git a/tools/flint_skel.sh b/tools/flint_skel.sh
index bf1b3dea6..9d45f87dd 100755
--- a/tools/flint_skel.sh
+++ b/tools/flint_skel.sh
@@ -1,7 +1,5 @@
 #!/bin/sh
 
-set -x
-
 if [ "x$1" = "x-ok" -a -f _.fl ] ; then
 	echo "Saved as reference"
 	mv _.fl _.fl.old