<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Arial;color: #000000;font-size: 14pt;">Right. That's what I'm trying.<br>
<div><br>
</div>
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<hr tabindex="-1">
<div style="direction: ltr;" id="divRpF570783"><font color="#000000" face="Tahoma" size="2"><b>From:</b> petsc-dev-bounces@mcs.anl.gov [petsc-dev-bounces@mcs.anl.gov] on behalf of Jed Brown [jedbrown@mcs.anl.gov]<br>
<b>Sent:</b> Tuesday, March 12, 2013 10:30 AM<br>
<b>To:</b> For users of the development version of PETSc<br>
<b>Subject:</b> Re: [petsc-dev] PETSc repositories have been moved<br>
</font><br>
</div>
<div></div>
<div>
<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: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); 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="UrlBlockedError.aspx" 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" target="_blank">https://bitbucket.org/petsc/petsc</a> (primary Git repository)</div>
<div style=""><br>
</div>
<div style=""><a href="https://bitbucket.org/petsc/petsc-hg" target="_blank">https://bitbucket.org/petsc/petsc-hg</a> (Mercurial mirror)</div>
<div><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>