[dune-functions] Typetree development

Carsten Gräser graeser at mi.fu-berlin.de
Thu Sep 17 11:28:02 CEST 2015


Dear Steffen,
I'd like to follow the typetree development, but I'm not quite sure
how to do this. I know, that it's on github, but I don't know if
this is the official repository. I cloned (and am pulling) from
http://git.dune-project.org/repositories/dune-typetree
But there I can't find any information on this.

How can I follow the development? Is there a push and/or development
mailing list or an rss-feed? Is the github repository in sync with the
one on dune-project?

Best,
Carsten

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-functions/attachments/20150917/d909a854/attachment.sig>


More information about the dune-functions mailing list