InputOutputPointer is the right interface.
[core.git] / contrib / lint.sh
2014-03-29 Roland HaederMerge branch 'contrib'
2014-03-29 Roland HaederMoved for merge preparation.