diff -r 136731f6f597 -r 4b065e7e2130 scripts/addToolVersion.sh --- a/scripts/addToolVersion.sh Mon Feb 02 21:56:30 2009 +0000 +++ b/scripts/addToolVersion.sh Wed Mar 04 17:59:35 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'.