# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1565902571 -7200
# Node ID 671130d10c210c936261d7ea503f29003c1ef889
# Parent  42e7af4ea5709e236d1c555a3db33b4dcd9532f9
Style

diff -r 42e7af4ea570 -r 671130d10c21 bin/check-ports
--- a/bin/check-ports	Thu Aug 15 22:53:52 2019 +0200
+++ b/bin/check-ports	Thu Aug 15 22:56:11 2019 +0200
@@ -1,9 +1,9 @@
 #!/bin/sh
-#
-# @(#) $HGid$
+# -*- indent-tabs-mode: nil; -*-
+# @(#)$HGid$
 #
 
-VERSION=@@VERSION@@
+VERSION="@@VERSION@@"
 
 #
 # Configuration directory