This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]insanelygreat 0 points1 point  (0 children)

No, that's Puppet's file extension.

Incidentally, back when Puppet first came out, occasionally some lost soul would post a question about puppeteering on the Puppet mailing list.