ADCP_tools_lib.pl
changeset 34 3b4bcd55e1ea
parent 33 307630665c6c
child 35 7c394a2d1fc9
equal deleted inserted replaced
33:307630665c6c 34:3b4bcd55e1ea
     1 #======================================================================
     1 #======================================================================
     2 #                    A D C P _ T O O L S _ L I B . P L 
     2 #                    A D C P _ T O O L S _ L I B . P L 
     3 #                    doc: Tue Jan  5 10:45:47 2016
     3 #                    doc: Tue Jan  5 10:45:47 2016
     4 #                    dlm: Thu Mar 17 07:46:47 2016
     4 #                    dlm: Tue Apr 12 21:37:23 2016
     5 #                    (c) 2016 A.M. Thurnherr
     5 #                    (c) 2016 A.M. Thurnherr
     6 #                    uE-Info: 12 25 NIL 0 0 72 0 2 4 NIL ofnI
     6 #                    uE-Info: 12 26 NIL 0 0 72 0 2 4 NIL ofnI
     7 #======================================================================
     7 #======================================================================
     8 
     8 
     9 # HISTORY:
     9 # HISTORY:
    10 #	Jan  5, 2015: - created
    10 #	Jan  5, 2015: - created
    11 
    11 
    12 $ADCP_tools_version = 1.5;		# Jan  5, 2016
    12 $ADCP_tools_version = 1.6;
    13 
    13 
    14 die(sprintf("$0: obsolete ADCP_tools V%.1f; V%.1f required\n",
    14 die(sprintf("$0: obsolete ADCP_tools V%.1f; V%.1f required\n",
    15     $ADCP_tools_version,$ADCP_tools_minVersion))
    15     $ADCP_tools_version,$ADCP_tools_minVersion))
    16         if (!defined($ADCP_tools_minVersion) || $ADCP_tools_minVersion>$ADCP_tools_version);
    16         if (!defined($ADCP_tools_minVersion) || $ADCP_tools_minVersion>$ADCP_tools_version);
    17 
    17