diff options
Diffstat (limited to 'TAO/docs')
| -rw-r--r-- | TAO/docs/Options.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/TAO/docs/Options.html b/TAO/docs/Options.html index 73f439d09ec..8e062823556 100644 --- a/TAO/docs/Options.html +++ b/TAO/docs/Options.html @@ -1538,9 +1538,9 @@ I'm not sure what the affect of AMI on this option is. </em> prevents this performance impact but leads to problems outlined <A - href="http://deuce.doc.wustl.edu/bugzilla/show_bug.cgi?id=2186"> + href="http://bugzilla.dre.vanderbilt.edu/show_bug.cgi?id=2186"> here</A> and <a - href="http://deuce.doc.wustl.edu/bugzilla/show_bug.cgi?id=2224"> + href="http://bugzilla.dre.vanderbilt.edu/show_bug.cgi?id=2224"> here</A> <p>Default for this option is <em>0</em>. </p> </td> |