| Index: client/web/main.dart
|
| diff --git a/client/web/main.dart b/client/web/main.dart
|
| index f8e61bfeeaac784eb47adbd914e0cd5651b0f5a9..882e71ede0ac9debcf5f4cf365e403640b078352 100644
|
| --- a/client/web/main.dart
|
| +++ b/client/web/main.dart
|
| @@ -148,7 +148,7 @@ class MainElement extends DartdocElement {
|
| _buildIdentifier = ''; // Don't try twice.
|
| retrieveFileContents('docs/VERSION').then((version) {
|
| _buildIdentifier = notifyPropertyChange(#buildIdentifier,
|
| - _buildIdentifier, "r $version");
|
| + _buildIdentifier, version);
|
| }).catchError((_) => null);
|
| return '';
|
| }
|
|
|