Hi Amos,
It is in the preferences under Puppet/PP
That will let you specify the puppet version you want to use.
Check the 4.0 box and off you go.
> --
> You received this message because you are subscribed to the Google Groups
> "Puppet Geppetto" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
puppet-geppet...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.
--
Pete Brown
Director and Primary Systems Engineer
Abstract IT Pty Ltd.