| commit | bc10fce46e22bb749cee420a31aae95e9601462d | [log] [tgz] |
|---|---|---|
| author | jcollins-g <jcollins@google.com> | Wed Jan 17 08:09:31 2018 -0800 |
| committer | GitHub <noreply@github.com> | Wed Jan 17 08:09:31 2018 -0800 |
| tree | 501bb2db848e37704b34d401371c8f8431ded85d | |
| parent | 37e1684825dcb8569680d1f5ee2a17efe80639ed [diff] |
Update dartdoc version to 0.15.1. (#14123)
diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index b6876ee..fd1f599 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh
@@ -19,7 +19,7 @@ fi # Install dartdoc. -bin/cache/dart-sdk/bin/pub global activate dartdoc 0.15.0+1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.15.1 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc.