# HG changeset patch
# User diego
# Date 1116455615 0
# Node ID 3f20ae0bd86eabd8410ac3a245950936d4c96f7d
# Parent  539bc90e2fe5d7e534559fa64d40bcc896fcf7ff
simplification

diff -r 539bc90e2fe5 -r 3f20ae0bd86e version.sh
--- a/version.sh	Wed May 18 22:20:58 2005 +0000
+++ b/version.sh	Wed May 18 22:33:35 2005 +0000
@@ -2,10 +2,7 @@
 
 OS=`uname -s`
 case "$OS" in
-     CYGWIN*)
-	last_cvs_update=`date -r CVS/Entries +%y%m%d-%H:%M 2>/dev/null`
-	;;
-     Linux)
+     CYGWIN*|Linux)
 	last_cvs_update=`date -r CVS/Entries +%y%m%d-%H:%M 2>/dev/null`
 	;;
      BSD/OS)