[Dune] post-commit hook error

Oliver Sander sander at mi.fu-berlin.de
Mon Dec 19 16:12:10 CET 2011

Great, thanks!

Am 19.12.2011 16:08, schrieb Christian Engwer:
> Hi Oli,
>> Does this mean anything to anybody?
> this is problem related to a recent change in the post-commit hook.
> I updated the post-commit hook to regenerate the menu for the
> users.dune-project.org website.
> I hope I have now fixed this issue.
> Cheers
> Christian

More information about the Dune mailing list