diff bin/check-ports @ 79:671130d10c21

Style
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 15 Aug 2019 22:56:11 +0200
parents 259e2a4b4ca6
children 124faa20ae80
line wrap: on
line diff
--- 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