[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