diff options
| author | Gerald Combs <gerald@wireshark.org> | 2015-03-10 16:51:19 -0700 |
|---|---|---|
| committer | Gerald Combs <gerald@wireshark.org> | 2015-03-10 23:51:52 +0000 |
| commit | e991610467e9ec7345f2867515afe417dca57053 (patch) | |
| tree | da02d2d3bcc38b4644a060ccc099a2de7b027dd8 /docbook/wsdg_src | |
| parent | a3bdf140a51de9e366fa1303f670d8f4405b63de (diff) | |
Update the buildbot URL.
Change-Id: Ia3a9e8e919d3702a4499351df0289294cd10f808
Reviewed-on: https://code.wireshark.org/review/7634
Reviewed-by: Gerald Combs <gerald@wireshark.org>
Diffstat (limited to 'docbook/wsdg_src')
| -rw-r--r-- | docbook/wsdg_src/WSDG_chapter_env_intro.asciidoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docbook/wsdg_src/WSDG_chapter_env_intro.asciidoc b/docbook/wsdg_src/WSDG_chapter_env_intro.asciidoc index f8ac00aeef..db6dd102b0 100644 --- a/docbook/wsdg_src/WSDG_chapter_env_intro.asciidoc +++ b/docbook/wsdg_src/WSDG_chapter_env_intro.asciidoc @@ -269,7 +269,7 @@ be spent on more interesting tasks. be narrowed down to a few commits, making a fix much easier. * "Health status" overview of the sources. A quick look at: - http://buildbot.wireshark.org/trunk/[] gives a good "feeling" if the sources + https://buildbot.wireshark.org/trunk/[] gives a good "feeling" if the sources are currently "well". On the other hand, if all is "red", an update of a personal source tree might better be done later ... |