<?xml version="1.0" encoding="UTF-8"?>

<!-- Lists host names and associated profile. This file can be edited
     directly, or even created automatically depending on your
     environment. 
     
     For more info, see http://wpkg.org/index.php/Category:Documentation
     
     -->

<wpkg>

   <host name="jomiles" profile-id="is-staff" /> 

</wpkg>
