diff options
-rw-r--r-- | src/library/scala/util/Properties.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala index 8e8e1d8d9c..358e635742 100644 --- a/src/library/scala/util/Properties.scala +++ b/src/library/scala/util/Properties.scala @@ -41,9 +41,9 @@ object Properties { props } - /** The version number of the jar this was loaded from, or - * "(unknown)" if it cannot be determined. - */ + /** The version number of the jar this was loaded from plus "version " prefix, + * or "version (unknown)" if it cannot be determined. + */ val versionString: String = { val defaultString = "(unknown)" "version " + props.getProperty("version.number", defaultString) |