Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Munn <greg@sgmunn.com>2014-12-18 04:46:49 +0300
committerGreg Munn <greg@sgmunn.com>2014-12-18 04:46:49 +0300
commit38e732bf986ab42c89bd52367f36af4930d475ee (patch)
tree45ddbbffec7c6c0e60590fc52b9c704a77e9dd6f
parent2c4b8096950d01c8195ea4ae30ceadcabccbffa9 (diff)
Bump to nudge build bot
-rwxr-xr-xversion-checks2
1 files changed, 1 insertions, 1 deletions
diff --git a/version-checks b/version-checks
index 4188357155..2d78ff38f3 100755
--- a/version-checks
+++ b/version-checks
@@ -6,7 +6,7 @@ script_name=./`basename $0`
#
# Script to check versions of dependencies
-# To check the version for all dependencies, just run the script with no arguments.
+# To check the version for all dependencies, just run the script with no arguments
# To check the version for a specific dependency, run the script with "check <dependency>"
# To reset a dependency to the needed version, run the script with "reset <dependency>"
# It is also possible to pass "reset all" to reset all dependencies