<div dir="ltr">On Tue, Mar 12, 2013 at 11:27 AM, Nystrom, William D <span dir="ltr"><<a href="mailto:wdn@lanl.gov" target="_blank">wdn@lanl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div style="word-wrap:break-word">
<div style="direction:ltr;font-size:14pt;font-family:Arial">Are these URLs really correct?  The first one has two colons and one<br>
slash i.e. "https::/" instead of "<a href="https:///" target="_blank">https://</a>" and the second one has a single<br>
colon and one slash i.e. "https:/" instead of "https://".<br></div></div></blockquote><div><br></div><div style>Just a typo. It should be:</div><div><br></div><div style><a href="https://bitbucket.org/petsc/petsc">https://bitbucket.org/petsc/petsc</a>    (primary Git repository)</div>
<div style><br></div><div style><a href="https://bitbucket.org/petsc/petsc-hg">https://bitbucket.org/petsc/petsc-hg</a>   (Mercurial mirror)</div><div><br></div></div></div></div>