[Dune-devel] Github mirrors out of date

[Steffen Müthing]

Hi Markus,

> Am 13.05.2016 um 13:25 schrieb Markus Blatt <markus at dr-blatt.de>:
> 
> Hi,
> 
> the github mirrors still show the version of December 2015. Is there a
> plan to resolve this or should we just delete them.

that’s strange. I’ll take a look.

Steffen

> 
> Markus
> --
> Using PT-Scotch with DUNE https://t.co/hZH8lxf5ZF
> 
> Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
> Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany
> Tel.: +49 (0) 160 97590858
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-devel

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20160513/8530932c/attachment.sig>