From 7f1601f815e53889f7f1294d9cd68ab71457f383 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 18 Aug 2006 14:34:45 +0000
Subject: [PATCH] cosmetic:display short revision

---
 plc-config-tty | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plc-config-tty b/plc-config-tty
index ddf3fb1..b31e022 100755
--- a/plc-config-tty
+++ b/plc-config-tty
@@ -20,8 +20,8 @@ import getopt
 from plc_config import PLCConfiguration
 
 ####################
-release_id = "$Id: plc-config-tty,v 1.6 2006/08/17 16:17:18 thierry Exp $"
-release_rev = "$Revision: 1.6 $"
+release_id = "$Id: plc-config-tty,v 1.7 2006/08/18 09:31:55 thierry Exp $"
+release_rev = "$Revision: 1.7 $"
 
 def init_flavour (flavour):
     global service
@@ -434,7 +434,7 @@ def main ():
         if opt[0] == "-h":
             usage()
         if opt[0] == "-v":
-            print ("This is %s - %s" %(command,release_id))
+            print ("This is %s - %s" %(command,release_rev))
             sys.exit(1)
         if opt[0] == "-d":
             init_flavour("devel")
-- 
2.47.0