Adam Chlipala wrote: > Thanks for the information, Benjamin! Would you mind creating a wiki > page with this content? Others can add to it, but someone needs to take > the initiative and create the first version.
Ok, I'll have a look at it, probably during the weekend. Cheers, Beni _______________________________________________ HCoop-Help mailing list [email protected] https://lists.hcoop.net/listinfo/hcoop-help
