[dune-pdelab] [dune-pdelab-commit] dune-pdelab r1995 - trunk/dune/pdelab/common

[Christian Engwer]

Hi Jö,

> well.  Anything else *should* produce a warning, but doesn't, apparently svn
> ignores the output of the filter unless there is an error.
> 
> Should there be any problem with this, the old pre-commit hook is still around
> with a .bak extension.

I don't think that a warning is sufficient. Also, we all decided to
add this hook, so I'd like to have it back. The "disable feature" is
reasonable, but the default should not be altered.

Ciao
Christian