<?php
/* $Id: style.def 15408 2006-12-08 02:05:13Z ckdake $ */
$name=_("Jenskin");
$description=_("A Skin made by Jens. It looks like the config wizard.");
$version='1.0.12';
$last_update='2006-08-13';
?>
