diff -r 136731f6f597 -r d1d192887a15 scripts/addToolVersion.sh --- a/scripts/addToolVersion.sh Mon Feb 02 21:56:30 2009 +0000 +++ b/scripts/addToolVersion.sh Fri Mar 27 18:53:54 2009 +0000 @@ -17,16 +17,16 @@ Valid options for all tools: --stable, -s, +x (default) - mark the version as being stable (as opposed to experimental) + mark the version as being stable (as opposed to experimental, below) --experimental, -x, +s - mark the version as being experimental (as opposed to stable) + mark the version as being experimental (as opposed to stable, above) --current, -c, +o (default) - mark the version as being cuurent (as opposed to obsolete) + mark the version as being cuurent (as opposed to obsolete, below) --obsolete, -o, +c - mark the version as being obsolete (as opposed to current) + mark the version as being obsolete (as opposed to current, above) Note: setting a new tool resets to the defaults: 'stable' and 'current'.