lib/scripts/getfunctions
Thu, 25 Feb 2016 19:22:13 +0100 wenzelm slightly more robust re-initialization;
less more (0) -1 tip