diff options
author | jasplin <qt-info@nokia.com> | 2011-02-24 14:38:21 +0100 |
---|---|---|
committer | jasplin <qt-info@nokia.com> | 2011-02-24 14:38:21 +0100 |
commit | 862cd1e81054d37eb5f34f13a91706e174769973 (patch) | |
tree | 30a1b866767a9a2c66b0999d595e43253ccaa4d6 | |
parent | 38fa7a0b5983ebf56431228441fb26adc122b170 (diff) |
Minor.
-rwxr-xr-x | scripts/uploadresults.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/uploadresults.py b/scripts/uploadresults.py index ab9568e..3c92691 100755 --- a/scripts/uploadresults.py +++ b/scripts/uploadresults.py @@ -279,7 +279,7 @@ setDatabase( options["db"]) # Reject uploading if rankings exist for this context, since that would -# require a recomputation of the rankings. +# require a recomputation of these rankings. # # (Note that this check if sufficient as long as we assume that results # are uploaded in an order that is consistent with the order of the |