<?php
// This just holds the version number, in a separate file so we can bump it without cluttering the CVS
$wp_version = '1.3-alpha-4';
?>