<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 06/25/2013 01:32 PM, William
Harrington wrote:<br>
</div>
<blockquote
cite="mid:75C5042C-0C06-4D44-AD1F-C6C452EF86A9@berzerkula.org"
type="cite"><br>
<div>
<div>On Jun 24, 2013, at 3:12 PM, William Harrington wrote:</div>
<br class="Apple-interchange-newline">
<blockquote type="cite"><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; font-size: medium; ">Since the bundled ISL with
CLooG-ISL is out of date, today I attempted to add ISL to
the book, however, I could never get it to validate. All was
fine till I added final-system/common/isl.xml</span></blockquote>
</div>
<br>
<div>Okay I did it again today and all is fine now. I think I
removed too many segments from the description are of isl.xml in
final-system. I think that was the issue. Either way, I should
have the isl commit pushed today.</div>
<div><br>
</div>
<div>bradfa speaking of git hosting. I was trying to grab gitosis
from eagain.net but I keep getting connection refused. Do you
know if that is the only place to clone gitosis?</div>
<div>I want to setup gitweb with my server.</div>
<div><br>
</div>
</blockquote>
You might want to have a look at gitorious since gitosis is not
active any more<br>
<br>
<a class="moz-txt-link-freetext" href="https://gitorious.org/">https://gitorious.org/</a><br>
the software is at <a class="moz-txt-link-freetext" href="https://gitorious.org/gitorious">https://gitorious.org/gitorious</a><br>
<br>
<br>
</body>
</html>