Rename pointer() to do_pointer() to fix bug 3043646
[contains compile fixes by fk hp]
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Showing
Please
register
or
sign in
to comment
[contains compile fixes by fk hp]
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>