<div dir="ltr"><div><div><div>Hey Ruth<br></div><div><br>I have recently changed that from main77.cc to <a href="http://main77.cc.in">main77.cc.in</a> because it got a template when I introduced the reporting of skipping reasons. <br><br></div>I forgot to change the installation bit, just fixed it on master. Ruth, please pull.<br><br></div>Best,<br></div>Dominic<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 3, 2016 at 12:09 PM, Christoph GrĂ¼ninger <span dir="ltr"><<a href="mailto:christoph.grueninger@iws.uni-stuttgart.de" target="_blank">christoph.grueninger@iws.uni-stuttgart.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Ruth,<br>
do you mean from GitHub.com or form our GitLab instance?<br>
The GitHub.com mirror is outdated and known to be broken,<br>
see<br>
<a href="https://gitlab.dune-project.org/infrastructure/issues/issues/21" rel="noreferrer" target="_blank">https://gitlab.dune-project.org/infrastructure/issues/issues/21</a><br>
<br>
If you use our GitLab, the file should be generated from<br>
<a href="http://main77.cc.in" rel="noreferrer" target="_blank">main77.cc.in</a>. I haven't checked whether that's currently<br>
working.<br>
<br>
Bye<span class="HOEnZb"><font color="#888888"><br>
Christoph<br>
<br>
-- <br>
On the one hand [computer "science"] has components<br>
of the purest of mathematics and on the other hand<br>
of the dirtiest of engineering. -- A. Oettinger 1967</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
Dune mailing list<br>
<a href="mailto:Dune@dune-project.org" target="_blank">Dune@dune-project.org</a><br>
<a href="http://lists.dune-project.org/mailman/listinfo/dune" rel="noreferrer" target="_blank">http://lists.dune-project.org/mailman/listinfo/dune</a><br>
</div></div></blockquote></div><br></div>